diff options
| author |  tabarbe <unknown> | 2010-08-27 16:00:08 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-27 16:00:08 +0000 |
| commit | 03e650bc57fc7f388600573c1ba828f11d4f42b1 (patch) | |
| tree | a88657e88bd05ce88aa22ef4dc592678cc0eb1a4 /Source/Provers | |
| parent | ab519e927d0dc7975517671afb5ae4ea12e5268a (diff) | |
Boogie: Basetypes port 3/3: Committing changed references
Z3api.csproj shouldn't get in the way this time 'round.
Diffstat (limited to 'Source/Provers')
| -rw-r--r-- | Source/Provers/Isabelle/Isabelle.csproj | 4 | ||||
| -rw-r--r-- | Source/Provers/SMTLib/SMTLib.csproj | 4 | ||||
| -rw-r--r-- | Source/Provers/Simplify/Simplify.csproj | 4 | ||||
| -rw-r--r-- | Source/Provers/Z3/Z3.csproj | 4 | ||||
| -rw-r--r-- | Source/Provers/Z3api/Z3api.csproj | 4 |
5 files changed, 10 insertions, 10 deletions
diff --git a/Source/Provers/Isabelle/Isabelle.csproj b/Source/Provers/Isabelle/Isabelle.csproj index e48b0fa7..a37eba66 100644 --- a/Source/Provers/Isabelle/Isabelle.csproj +++ b/Source/Provers/Isabelle/Isabelle.csproj @@ -78,8 +78,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">
diff --git a/Source/Provers/SMTLib/SMTLib.csproj b/Source/Provers/SMTLib/SMTLib.csproj index 738e2cf7..b30e873b 100644 --- a/Source/Provers/SMTLib/SMTLib.csproj +++ b/Source/Provers/SMTLib/SMTLib.csproj @@ -90,8 +90,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">
diff --git a/Source/Provers/Simplify/Simplify.csproj b/Source/Provers/Simplify/Simplify.csproj index c15ef55a..9591278f 100644 --- a/Source/Provers/Simplify/Simplify.csproj +++ b/Source/Provers/Simplify/Simplify.csproj @@ -84,8 +84,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">
diff --git a/Source/Provers/Z3/Z3.csproj b/Source/Provers/Z3/Z3.csproj index ce7c280e..05ff9d9a 100644 --- a/Source/Provers/Z3/Z3.csproj +++ b/Source/Provers/Z3/Z3.csproj @@ -88,8 +88,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">
diff --git a/Source/Provers/Z3api/Z3api.csproj b/Source/Provers/Z3api/Z3api.csproj index af8b9324..a951715b 100644 --- a/Source/Provers/Z3api/Z3api.csproj +++ b/Source/Provers/Z3api/Z3api.csproj @@ -65,8 +65,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">
|