diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-12 14:13:53 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-12 14:13:53 -0400 |
| commit | f167183e6b6d04c0461921a161592eb5cf2afb1e (patch) | |
| tree | 50caa82a6818ab8d034b62cb4334d59e9aa178f1 /_CoqProject | |
| parent | 9f8372344ad923c730d0bb04fb84839c4fd59165 (diff) | |
Add Named.InterpSideConditions
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index a581c4b5c..8093e8106 100644 --- a/_CoqProject +++ b/_CoqProject @@ -90,6 +90,7 @@ src/Compilers/Named/ExprInversion.v src/Compilers/Named/FMapContext.v src/Compilers/Named/GetNames.v src/Compilers/Named/IdContext.v +src/Compilers/Named/InterpSideConditions.v src/Compilers/Named/InterpretToPHOAS.v src/Compilers/Named/InterpretToPHOASInterp.v src/Compilers/Named/InterpretToPHOASWf.v |