diff options
| author | Enrico Tassi | 2018-10-29 11:21:54 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2018-10-29 11:21:54 +0100 |
| commit | 60b7d3662880666a22e0b90f55b49361c453e3f4 (patch) | |
| tree | 3eb42248e0ef9a251dbedb4f28b88288682c6bba /test-suite/coq-makefile/plugin1/_CoqProject | |
| parent | 8d6e79649a3f7696977954de881671c23457c0f2 (diff) | |
| parent | 266050f7aaa0ee0b090b30b1acabaccda6919889 (diff) | |
Merge PR #8763: Adapt coq_makefile to handle coqpp-based macro files.
Diffstat (limited to 'test-suite/coq-makefile/plugin1/_CoqProject')
| -rw-r--r-- | test-suite/coq-makefile/plugin1/_CoqProject | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/coq-makefile/plugin1/_CoqProject b/test-suite/coq-makefile/plugin1/_CoqProject index 4eddc9d708..ab7876d868 100644 --- a/test-suite/coq-makefile/plugin1/_CoqProject +++ b/test-suite/coq-makefile/plugin1/_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 |