summaryrefslogtreecommitdiff
path: root/Source/Core/Core.csproj
diff options
context:
space:
mode:
Diffstat (limited to 'Source/Core/Core.csproj')
-rw-r--r--Source/Core/Core.csproj1
1 files changed, 1 insertions, 0 deletions
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" />