diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-20 19:41:41 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-20 19:41:41 -0400 |
| commit | 5830bc54939cf5dc8d10c02a7deeecf6df9067ca (patch) | |
| tree | 56de50b0140cd9f5cb8a9cfee023a78fd87713ab /_CoqProject | |
| parent | 8ab91b494fb8617af11c6c3d36e7b15cc4e308e3 (diff) | |
Add InlineConstAndOpInterp.v
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 2aa6fa297..babe95a3a 100644 --- a/_CoqProject +++ b/_CoqProject @@ -57,6 +57,7 @@ src/Compilers/FilterLive.v src/Compilers/FoldTypes.v src/Compilers/Inline.v src/Compilers/InlineConstAndOp.v +src/Compilers/InlineConstAndOpInterp.v src/Compilers/InlineConstAndOpWf.v src/Compilers/InlineInterp.v src/Compilers/InlineWf.v |