From 585cae5eb315fa0cd3f4d38d47be0476c6d8bd2c Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Fri, 20 Oct 2017 22:51:34 -0400
Subject: Add GeneralizeVar

---
 _CoqProject | 1 +
 1 file changed, 1 insertion(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 2f0db2cd9..b5eb313f6 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -55,6 +55,7 @@ src/Compilers/EtaWf.v
 src/Compilers/ExprInversion.v
 src/Compilers/FilterLive.v
 src/Compilers/FoldTypes.v
+src/Compilers/GeneralizeVar.v
 src/Compilers/Inline.v
 src/Compilers/InlineConstAndOp.v
 src/Compilers/InlineConstAndOpInterp.v
-- 
cgit v1.2.3