From 7e193b9a50784d2588c523db5173050c4f474364 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Fri, 20 Oct 2017 23:11:14 -0400
Subject: Add GeneralizeVar{Wf,Interp}.v

---
 _CoqProject | 2 ++
 1 file changed, 2 insertions(+)

(limited to '_CoqProject')

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
-- 
cgit v1.2.3