diff options
| author |  Jason Gross <jagro@google.com> | 2016-09-05 11:38:44 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-09-05 15:31:28 -0700 |
| commit | 8029a8bdc4b6f39d72ce0807d856b0ae832a53cb (patch) | |
| tree | 23c2ac075a26c1a5c6c1c4247523bb13bbcf93e8 /_CoqProject | |
| parent | 7aeb1054f646c838b109b27160e224191ac75bd4 (diff) | |
Fix _CoqProject
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index ed58ac302..8921587d1 100644 --- a/_CoqProject +++ b/_CoqProject @@ -67,7 +67,6 @@ src/Reflection/InputSyntax.v src/Reflection/InterpProofs.v src/Reflection/Linearize.v src/Reflection/Reify.v -src/Reflection/ReifyDirect.v src/Reflection/Syntax.v src/Reflection/TestCase.v src/Reflection/WfReflective.v |