From 589fb634c9cff46508bdf5c1ef2929524fdc8f6a Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Thu, 22 Jul 2010 20:56:13 +0000
Subject: Boogie: Repaired a reentrancy error in Z3/Simplify.

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

(limited to 'Source/BoogieDriver')

diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj
index 4c3efb52..c87c8fa4 100644
--- a/Source/BoogieDriver/BoogieDriver.csproj
+++ b/Source/BoogieDriver/BoogieDriver.csproj
@@ -87,10 +87,6 @@
     </Reference>
     <Reference Include="System.Data" />
     <Reference Include="System.Xml" />
-    <Reference Include="Z3, Version=0.0.0.0, Culture=neutral, processorArchitecture=MSIL">
-      <SpecificVersion>False</SpecificVersion>
-      <HintPath>..\Provers\Z3\bin\Debug\Z3.dll</HintPath>
-    </Reference>
   </ItemGroup>
   <ItemGroup>
     <Compile Include="BoogieDriver.cs" />
@@ -125,6 +121,10 @@
       <Project>{13C3A68C-462A-4CDA-A480-738046E37C5A}</Project>
       <Name>SMTLib</Name>
     </ProjectReference>
+    <ProjectReference Include="..\Provers\Z3\Z3.csproj">
+      <Project>{BB49B90B-BE21-4BE8-85BA-359FDB55F4DF}</Project>
+      <Name>Z3</Name>
+    </ProjectReference>
     <ProjectReference Include="..\VCExpr\VCExpr.sscproj">
       <Project>{CF42B700-10AA-4DA9-8992-48A800251C11}</Project>
       <Name>VCExpr</Name>
-- 
cgit v1.2.3