From 7c6276c0713adbc8b6cfbf9325a7cf1a103f7acc Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Fri, 25 Oct 2013 12:37:44 -0700
Subject: a minor refactoring + implemented mover checking

---
 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 6d5b7bd9..03eefccd 100644
--- a/Source/Core/Core.csproj
+++ b/Source/Core/Core.csproj
@@ -156,6 +156,7 @@
     <Compile Include="AbsyQuant.cs" />
     <Compile Include="AbsyType.cs" />
     <Compile Include="BitvectorAnalysis.cs" />
+    <Compile Include="MoverChecking.cs" />
     <Compile Include="InterProceduralReachabilityGraph.cs" />
     <Compile Include="CommandLineOptions.cs" />
     <Compile Include="DeadVarElim.cs" />
-- 
cgit v1.2.3