diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-12-26 11:58:14 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-12-26 11:58:14 -0500 |
| commit | c4bcb69fdc788ee5bf19d0f6f5391153c28f1aa0 (patch) | |
| tree | 0e9b6b8f25c4e56e1551e5142a23b60428d57882 | |
| parent | 6550f423817d5b9c51c92e35ae97c0a575cb9879 (diff) | |
make update-_CoqProject
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 474e0b9a8..3e7591293 100644 --- a/_CoqProject +++ b/_CoqProject @@ -114,6 +114,7 @@ src/Reflection/LinearizeWf.v src/Reflection/MapInterp.v src/Reflection/MapInterpWf.v src/Reflection/MapWithInterpInfo.v +src/Reflection/MultiSizeTest.v src/Reflection/Reify.v src/Reflection/Syntax.v src/Reflection/TestCase.v |