diff options
Diffstat (limited to 'Library/Formula/coq.rb')
| -rw-r--r-- | Library/Formula/coq.rb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb index ce67e6c43..c8759abec 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -24,7 +24,7 @@ class Coq < Formula head 'svn://scm.gforge.inria.fr/svn/coq/trunk' - depends_on TransitionalMode.new + depends_on TransitionalMode depends_on 'objective-caml' depends_on 'camlp5' |