diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-03-08 14:56:25 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-03-08 14:56:25 -0500 |
| commit | 9af802f5a37ae07cc7328c112b47d51161323d7e (patch) | |
| tree | ac1695cb4a5b8626f479fdecc3d1a2d9b8254cf8 /_CoqProject | |
| parent | 122e6f617f99f7dd87d4aaf450f6d0bdb689b33f (diff) | |
Add FMapContext, PositiveContext
Also copy some definitions from Syntax out of it, in prep for removing
them
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 809108634..6602f9b54 100644 --- a/_CoqProject +++ b/_CoqProject @@ -155,9 +155,13 @@ src/Reflection/Named/Compile.v src/Reflection/Named/ContextOn.v src/Reflection/Named/DeadCodeElimination.v src/Reflection/Named/EstablishLiveness.v +src/Reflection/Named/FMapContext.v src/Reflection/Named/NameUtil.v +src/Reflection/Named/PositiveContext.v src/Reflection/Named/RegisterAssign.v +src/Reflection/Named/SmartMap.v src/Reflection/Named/Syntax.v +src/Reflection/Named/Wf.v src/Reflection/Z/BinaryNotationConstants.v src/Reflection/Z/BoundsInterpretations.v src/Reflection/Z/CNotations.v |