diff options
| author |  tabarbe <unknown> | 2010-08-27 16:30:36 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-27 16:30:36 +0000 |
| commit | 76c3761b1dea34f6f0d6e56c8bb05bf13fdd5b02 (patch) | |
| tree | 0d98f221083fb0991a09cbe7b44c3f8b17cca8d6 | |
| parent | 03e650bc57fc7f388600573c1ba828f11d4f42b1 (diff) | |
Boogie: Changed a messed-up refference to Z3api back to its previous state.
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.csproj | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj index a238ea24..a5fb46f6 100644 --- a/Source/BoogieDriver/BoogieDriver.csproj +++ b/Source/BoogieDriver/BoogieDriver.csproj @@ -3,7 +3,7 @@ <PropertyGroup>
<Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
<Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform>
- <ProductVersion>9.0.21022</ProductVersion>
+ <ProductVersion>9.0.30729</ProductVersion>
<SchemaVersion>2.0</SchemaVersion>
<ProjectGuid>{DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}</ProjectGuid>
<OutputType>Exe</OutputType>
@@ -98,8 +98,8 @@ <Project>{39B0658D-C955-41C5-9A43-48C97A1EF5FD}</Project>
<Name>AIFramework</Name>
</ProjectReference>
- <ProjectReference Include="..\Basetypes\Basetypes.sscproj">
- <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>
+ <ProjectReference Include="..\Basetypes\Basetypes.csproj">
+ <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
<Name>Basetypes</Name>
</ProjectReference>
<ProjectReference Include="..\Core\Core.csproj">
|