diff options
Diffstat (limited to 'contrib/extraction/test/bench')
| -rwxr-xr-x | contrib/extraction/test/bench | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/extraction/test/bench b/contrib/extraction/test/bench index 8b29f5f155..bff9bd77a5 100755 --- a/contrib/extraction/test/bench +++ b/contrib/extraction/test/bench @@ -1,5 +1,5 @@ #!/bin/sh -../../../bin/coqtop.byte -batch -load-vernac-source ../Extraction.v -load-vernac-source ./bench.v +../../../bin/coqtop.byte -batch -load-vernac-source ./bench.v ocamlc -c -i polylist.ml ocamlc -c -i zarith.ml ocamlc -c -i even.ml |