diff options
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 809108634..6602f9b54 100644 --- a/_CoqProject +++ b/_CoqProject @@ -155,9 +155,13 @@ src/Reflection/Named/Compile.v src/Reflection/Named/ContextOn.v src/Reflection/Named/DeadCodeElimination.v src/Reflection/Named/EstablishLiveness.v +src/Reflection/Named/FMapContext.v src/Reflection/Named/NameUtil.v +src/Reflection/Named/PositiveContext.v src/Reflection/Named/RegisterAssign.v +src/Reflection/Named/SmartMap.v src/Reflection/Named/Syntax.v +src/Reflection/Named/Wf.v src/Reflection/Z/BinaryNotationConstants.v src/Reflection/Z/BoundsInterpretations.v src/Reflection/Z/CNotations.v |