diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-02 12:21:44 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-04-03 15:08:18 -0400 |
| commit | a049f31b6d1cf26ce7fd34a7bafad5179e94c3b7 (patch) | |
| tree | 6d71670ed15f404daa2e28a58a10413de073d954 /_CoqProject | |
| parent | 4227720f82bd43f8cb5905c092ee210dc6cf18a9 (diff) | |
Rename PreDefinitions to OutputType
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 4714089ba..ce12ad591 100644 --- a/_CoqProject +++ b/_CoqProject @@ -217,7 +217,7 @@ src/Reflection/Z/Bounds/Pipeline.v src/Reflection/Z/Bounds/Relax.v src/Reflection/Z/Bounds/Pipeline/Definition.v src/Reflection/Z/Bounds/Pipeline/Glue.v -src/Reflection/Z/Bounds/Pipeline/PreDefinitions.v +src/Reflection/Z/Bounds/Pipeline/OutputType.v src/Reflection/Z/Bounds/Pipeline/ReflectiveTactics.v src/Reflection/Z/Syntax/Equality.v src/Reflection/Z/Syntax/Util.v |