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 414eb2949..9cd99ffce 100644 --- a/_CoqProject +++ b/_CoqProject @@ -143,6 +143,8 @@ src/Reflection/MultiSizeTest2.v src/Reflection/Reify.v src/Reflection/Relations.v src/Reflection/Rewriter.v +src/Reflection/RewriterInterp.v +src/Reflection/RewriterWf.v src/Reflection/SmartBound.v src/Reflection/SmartBoundInterp.v src/Reflection/SmartBoundWf.v |