diff options
Diffstat (limited to 'test-suite/misc/poly-capture-global-univs/_CoqProject')
| -rw-r--r-- | test-suite/misc/poly-capture-global-univs/_CoqProject | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/misc/poly-capture-global-univs/_CoqProject b/test-suite/misc/poly-capture-global-univs/_CoqProject index 70ec246062..e5dc3cff56 100644 --- a/test-suite/misc/poly-capture-global-univs/_CoqProject +++ b/test-suite/misc/poly-capture-global-univs/_CoqProject @@ -1,7 +1,7 @@ -Q theories Evil -I src -src/evil.ml4 +src/evil.mlg src/evilImpl.ml src/evilImpl.mli src/evil_plugin.mlpack |