From bdbe3bc2795a0a6b77f41d7065bebdc9820f0983 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 3 Jun 2013 14:45:41 -0700
Subject: Did some refactoring in the Boogie driver.

---
 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 d41fb40b..2010f504 100644
--- a/Source/Core/Core.csproj
+++ b/Source/Core/Core.csproj
@@ -152,6 +152,7 @@
     <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