diff options
Diffstat (limited to 'test-suite/coq-makefile/coqdoc2/_CoqProject')
| -rw-r--r-- | test-suite/coq-makefile/coqdoc2/_CoqProject | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/coq-makefile/coqdoc2/_CoqProject b/test-suite/coq-makefile/coqdoc2/_CoqProject index d2a547d47b..0068554d72 100644 --- a/test-suite/coq-makefile/coqdoc2/_CoqProject +++ b/test-suite/coq-makefile/coqdoc2/_CoqProject @@ -3,7 +3,7 @@ -I src/ src/test_plugin.mlpack -src/test.ml4 +src/test.mlg src/test.mli src/test_aux.ml src/test_aux.mli |