diff options
| author |  tabarbe <unknown> | 2010-07-22 20:56:13 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-22 20:56:13 +0000 |
| commit | 589fb634c9cff46508bdf5c1ef2929524fdc8f6a (patch) | |
| tree | a18cb1345b461d51bbc8f63c61397c8ad7e0f9bf /Source/BoogieDriver | |
| parent | 11e5d0540d8f787beba021a67514a463459ea464 (diff) | |
Boogie: Repaired a reentrancy error in Z3/Simplify.
Diffstat (limited to 'Source/BoogieDriver')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.csproj | 8 |
1 files changed, 4 insertions, 4 deletions
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>
|