diff options
Diffstat (limited to 'test-suite')
| -rw-r--r-- | test-suite/coq-makefile/arg/_CoqProject | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/coq-makefile/arg/_CoqProject b/test-suite/coq-makefile/arg/_CoqProject index afdb32e7c..53dc96399 100644 --- a/test-suite/coq-makefile/arg/_CoqProject +++ b/test-suite/coq-makefile/arg/_CoqProject @@ -1,7 +1,7 @@ -R theories test -R src test -I src --arg "-compat 8.4" +-arg "-w default" src/test_plugin.mlpack src/test.ml4 |