diff options
| author |  tabarbe <unknown> | 2010-08-20 23:00:44 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-20 23:00:44 +0000 |
| commit | cd1e575fa899d46001276a1245f40a576766fec3 (patch) | |
| tree | 36f8a8e3378ed7f0a5544213a74a853c4756f986 /Source/Provers | |
| parent | 0d0dfac8457a3c95cf8414b93c3d6e826369630f (diff) | |
Boogie: Changed reference of Z3api.csproj to the differently-GUIDded Core.csproj, rather than Core.sscproj's old GUID.
Diffstat (limited to 'Source/Provers')
| -rw-r--r-- | Source/Provers/Z3api/Z3api.csproj | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/Provers/Z3api/Z3api.csproj b/Source/Provers/Z3api/Z3api.csproj index e8d785a5..15dfa133 100644 --- a/Source/Provers/Z3api/Z3api.csproj +++ b/Source/Provers/Z3api/Z3api.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>{966DD87B-A29D-4F3C-9406-F680A61DC0E0}</ProjectGuid>
<OutputType>Library</OutputType>
@@ -69,8 +69,8 @@ <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>
<Name>Basetypes</Name>
</ProjectReference>
- <ProjectReference Include="..\..\Core\Core.sscproj">
- <Project>{47BC34F1-A173-40BE-84C2-9332B4418387}</Project>
+ <ProjectReference Include="..\..\Core\Core.csproj">
+ <Project>{B230A69C-C466-4065-B9C1-84D80E76D802}</Project>
<Name>Core</Name>
</ProjectReference>
<ProjectReference Include="..\..\VCExpr\VCExpr.csproj">
|