diff options
Diffstat (limited to 'src/versions/standard/Make')
| -rw-r--r-- | src/versions/standard/Make | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/versions/standard/Make b/src/versions/standard/Make index 543d6f0..e275b8f 100644 --- a/src/versions/standard/Make +++ b/src/versions/standard/Make @@ -33,7 +33,7 @@ -I versions/standard/Int63 -I versions/standard/Array --I "$(shell $(COQBIN)coqc -where)/plugins/micromega" +# -I "$(shell $(COQBIN)coqc -where)/plugins/micromega" -extra "test" "" "cd ../unit-tests; make" -extra "ztest" "" "cd ../unit-tests; make zchaff" |