From a32ac3bff9a24b812d133883fb9f8df5341b7bb9 Mon Sep 17 00:00:00 2001
From: Dan Rosén <danr@chalmers.se>
Date: Fri, 1 Aug 2014 09:57:25 -0700
Subject: Add alpha equivalence check for Expr, and use it when lambda lifting

---
 Source/Core/Core.csproj | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source/Core/Core.csproj')

diff --git a/Source/Core/Core.csproj b/Source/Core/Core.csproj
index 881daa7f..27f4eea7 100644
--- a/Source/Core/Core.csproj
+++ b/Source/Core/Core.csproj
@@ -164,6 +164,7 @@
     <Compile Include="AbsyExpr.cs" />
     <Compile Include="AbsyQuant.cs" />
     <Compile Include="AbsyType.cs" />
+    <Compile Include="AlphaEquality.cs" />
     <Compile Include="InterProceduralReachabilityGraph.cs" />
     <Compile Include="CommandLineOptions.cs" />
     <Compile Include="DeadVarElim.cs" />
-- 
cgit v1.2.3