diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-20 15:01:05 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-20 15:01:05 -0400 |
| commit | 73ad66772245abf3ae65721de589ed2bd6de7505 (patch) | |
| tree | 50317c77989f0e22de27c92420ce08d95f498546 /_CoqProject | |
| parent | f32c60ffa460088bd3b9a15976ba3bd347e2e623 (diff) | |
Add InlineConstAndOp
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 00abf09d9..5c3357fed 100644 --- a/_CoqProject +++ b/_CoqProject @@ -56,6 +56,7 @@ src/Compilers/ExprInversion.v src/Compilers/FilterLive.v src/Compilers/FoldTypes.v src/Compilers/Inline.v +src/Compilers/InlineConstAndOp.v src/Compilers/InlineInterp.v src/Compilers/InlineWf.v src/Compilers/InputSyntax.v |