From 929dc481c91dc860b69b08dd65fb6f65d5650e23 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Thu, 15 Jun 2017 11:32:56 +0200 Subject: Remove dependency on -compat flag in coq_makefile test suite. --- test-suite/coq-makefile/arg/_CoqProject | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test-suite/coq-makefile') 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 -- cgit v1.2.3