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 7c6569208..7c06bba30 100644 --- a/_CoqProject +++ b/_CoqProject @@ -128,6 +128,7 @@ src/Reflection/MultiSizeTest2.v src/Reflection/Reify.v src/Reflection/Relations.v src/Reflection/SmartBound.v +src/Reflection/SmartBoundWf.v src/Reflection/SmartCast.v src/Reflection/SmartCastInterp.v src/Reflection/SmartCastWf.v |