diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-20 23:11:14 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-20 23:11:14 -0400 |
| commit | 7e193b9a50784d2588c523db5173050c4f474364 (patch) | |
| tree | b1ad590b30d3138d0790ac0d3621e382f6f33439 /_CoqProject | |
| parent | a40175d382cc1eac5f47f0a9f9f2e980a124c35f (diff) | |
Add GeneralizeVar{Wf,Interp}.v
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index b5eb313f6..f70cdabb8 100644 --- a/_CoqProject +++ b/_CoqProject @@ -56,6 +56,8 @@ src/Compilers/ExprInversion.v src/Compilers/FilterLive.v src/Compilers/FoldTypes.v src/Compilers/GeneralizeVar.v +src/Compilers/GeneralizeVarInterp.v +src/Compilers/GeneralizeVarWf.v src/Compilers/Inline.v src/Compilers/InlineConstAndOp.v src/Compilers/InlineConstAndOpInterp.v |