aboutsummaryrefslogtreecommitdiff
path: root/_CoqProject
diff options
context:
space:
mode:
Diffstat (limited to '_CoqProject')
-rw-r--r--_CoqProject1
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject
index 1231e4fb9..04b6450b0 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -112,6 +112,7 @@ src/Reflection/EtaInterp.v
src/Reflection/EtaWf.v
src/Reflection/ExprInversion.v
src/Reflection/FilterLive.v
+src/Reflection/FoldTypes.v
src/Reflection/Inline.v
src/Reflection/InlineCast.v
src/Reflection/InlineCastInterp.v