From c0578efe1ff17e30eb33e60e279a9a14a7a836a5 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 3 Jun 2013 15:32:05 -0700
Subject: Did some refactoring in the Boogie driver.

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

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

diff --git a/Source/Core/Core.csproj b/Source/Core/Core.csproj
index 2010f504..d41fb40b 100644
--- a/Source/Core/Core.csproj
+++ b/Source/Core/Core.csproj
@@ -152,7 +152,6 @@
     <Compile Include="AbsyQuant.cs" />
     <Compile Include="AbsyType.cs" />
     <Compile Include="BitvectorAnalysis.cs" />
-    <Compile Include="ExecutionEngine.cs" />
     <Compile Include="InterProceduralReachabilityGraph.cs" />
     <Compile Include="CommandLineOptions.cs" />
     <Compile Include="DeadVarElim.cs" />
-- 
cgit v1.2.3