diff options
| author | Pierre-Marie Pédrot | 2018-10-19 16:21:22 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-19 16:24:46 +0200 |
| commit | 266050f7aaa0ee0b090b30b1acabaccda6919889 (patch) | |
| tree | 290d511d83edbdd9709ccd2ec32c0ec05904c6ce /test-suite/coq-makefile/plugin3/_CoqProject | |
| parent | 3f6eebb9cfeda531d1f71e2ea0fa2d5afa9c28fc (diff) | |
Porting the test-suite to coqpp.
Diffstat (limited to 'test-suite/coq-makefile/plugin3/_CoqProject')
| -rw-r--r-- | test-suite/coq-makefile/plugin3/_CoqProject | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/coq-makefile/plugin3/_CoqProject b/test-suite/coq-makefile/plugin3/_CoqProject index 2028d49a8b..8e8a7ab074 100644 --- a/test-suite/coq-makefile/plugin3/_CoqProject +++ b/test-suite/coq-makefile/plugin3/_CoqProject @@ -3,7 +3,7 @@ -I src/ ./src/test_plugin.mllib -./src/test.ml4 +./src/test.mlg ./src/test.mli ./src/test_aux.ml ./src/test_aux.mli |