From 3c65f1b879a19c5ab1ed78ebfbcdb434fe7afe06 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Fri, 22 Nov 2013 13:04:51 -0800
Subject: factored the concurrency checking code into a separate project

---
 Source/Core/Core.csproj | 3 ---
 1 file changed, 3 deletions(-)

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

diff --git a/Source/Core/Core.csproj b/Source/Core/Core.csproj
index 03eefccd..f71144d5 100644
--- a/Source/Core/Core.csproj
+++ b/Source/Core/Core.csproj
@@ -156,17 +156,14 @@
     <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" />
     <Compile Include="Duplicator.cs" />
     <Compile Include="Inline.cs" />
     <Compile Include="LambdaHelper.cs" />
-    <Compile Include="LinearSets.cs" />
     <Compile Include="LoopUnroll.cs" />
     <Compile Include="OOLongUtil.cs" />
-    <Compile Include="OwickiGries.cs" />
     <Compile Include="Parser.cs" />
     <Compile Include="ResolutionContext.cs" />
     <Compile Include="Scanner.cs" />
-- 
cgit v1.2.3