diff options
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 144b187e7..ed58ac302 100644 --- a/_CoqProject +++ b/_CoqProject @@ -66,8 +66,8 @@ src/ModularArithmetic/Montgomery/ZProofs.v src/Reflection/InputSyntax.v src/Reflection/InterpProofs.v src/Reflection/Linearize.v +src/Reflection/Reify.v src/Reflection/ReifyDirect.v -src/Reflection/ReifyExact.v src/Reflection/Syntax.v src/Reflection/TestCase.v src/Reflection/WfReflective.v |