diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-06-15 11:32:56 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-06-15 11:32:56 +0200 |
| commit | 929dc481c91dc860b69b08dd65fb6f65d5650e23 (patch) | |
| tree | 25093bb866afe843b04b67a5af3cf6ffd640649b /test-suite | |
| parent | e1d68573015883301cb401861e10233f6442d9ec (diff) | |
Remove dependency on -compat flag in coq_makefile test suite.
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 |