diff options
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/_CoqProject b/_CoqProject index f202e1aed2..4116d17554 100644 --- a/_CoqProject +++ b/_CoqProject @@ -15,11 +15,11 @@ src/tac2entries.ml src/tac2entries.mli src/tac2ffi.ml src/tac2ffi.mli -src/tac2core.ml -src/tac2core.mli src/tac2qexpr.mli src/tac2quote.ml src/tac2quote.mli +src/tac2core.ml +src/tac2core.mli src/tac2tactics.ml src/tac2tactics.mli src/tac2stdlib.ml |