diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 20e7f7ba2..53fe6dff8 100644 --- a/_CoqProject +++ b/_CoqProject @@ -87,6 +87,7 @@ src/Compilers/Rewriter.v src/Compilers/RewriterInterp.v src/Compilers/RewriterWf.v src/Compilers/SmartMap.v +src/Compilers/StripExpr.v src/Compilers/Syntax.v src/Compilers/TestCase.v src/Compilers/Tuple.v |