diff options
| -rw-r--r-- | Library/Formula/coq.rb | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb index ff82c2b76..962891630 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -4,9 +4,7 @@ class TransitionalMode < Requirement fatal true satisfy do - # If not installed, it will install in the correct mode. - # If installed, make sure it is transitional instead of strict. - !which('camlp5') || `camlp5 -pmode 2>&1`.chomp == 'transitional' + Tab.for_name('camlp5').unused_options.include? 'strict' end def message; <<-EOS.undent |