diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 36cddc8ab..b41e8f6b9 100644 --- a/_CoqProject +++ b/_CoqProject @@ -111,6 +111,8 @@ src/Compilers/Z/ArithmeticSimplifierWf.v src/Compilers/Z/BinaryNotationConstants.v src/Compilers/Z/CNotations.v src/Compilers/Z/CommonSubexpressionElimination.v +src/Compilers/Z/CommonSubexpressionEliminationInterp.v +src/Compilers/Z/CommonSubexpressionEliminationWf.v src/Compilers/Z/FoldTypes.v src/Compilers/Z/HexNotationConstants.v src/Compilers/Z/Inline.v |