From c3a0562a1e4b713690b6d78d59316f9df41bc99f Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Fri, 3 Sep 2010 15:16:11 +0000
Subject: Added a fix to extract loops code so that it returns a more
 comprehensive map of block names to original blocks.

---
 Source/BoogieDriver/BoogieDriver.csproj | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'Source/BoogieDriver')

diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj
index e5c52add..96d68bec 100644
--- a/Source/BoogieDriver/BoogieDriver.csproj
+++ b/Source/BoogieDriver/BoogieDriver.csproj
@@ -136,10 +136,6 @@
       <Project>{9B163AA3-36BC-4AFB-88AB-79BC9E97E401}</Project>
       <Name>SMTLib</Name>
     </ProjectReference>
-    <ProjectReference Include="..\Provers\Z3api\Z3api.csproj">
-      <Project>{966DD87B-A29D-4F3C-9406-F680A61DC0E0}</Project>
-      <Name>Z3api</Name>
-    </ProjectReference>
     <ProjectReference Include="..\Provers\Z3\Z3.csproj">
       <Project>{BB49B90B-BE21-4BE8-85BA-359FDB55F4DF}</Project>
       <Name>Z3</Name>
-- 
cgit v1.2.3