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 3e7591293..64850727f 100644 --- a/_CoqProject +++ b/_CoqProject @@ -111,6 +111,7 @@ src/Reflection/InterpWfRel.v src/Reflection/Linearize.v src/Reflection/LinearizeInterp.v src/Reflection/LinearizeWf.v +src/Reflection/MapCast.v src/Reflection/MapInterp.v src/Reflection/MapInterpWf.v src/Reflection/MapWithInterpInfo.v |