diff options
Diffstat (limited to 'contrib/extraction/test/bench')
| -rwxr-xr-x | contrib/extraction/test/bench | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/contrib/extraction/test/bench b/contrib/extraction/test/bench deleted file mode 100755 index bff9bd77a5..0000000000 --- a/contrib/extraction/test/bench +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh -../../../bin/coqtop.byte -batch -load-vernac-source ./bench.v -ocamlc -c -i polylist.ml -ocamlc -c -i zarith.ml -ocamlc -c -i even.ml - |