summaryrefslogtreecommitdiff
path: root/Source/AbsInt/AbsInt.csproj
diff options
context:
space:
mode:
authorGravatar tabarbe <unknown>2010-08-27 16:00:08 +0000
committerGravatar tabarbe <unknown>2010-08-27 16:00:08 +0000
commit03e650bc57fc7f388600573c1ba828f11d4f42b1 (patch)
treea88657e88bd05ce88aa22ef4dc592678cc0eb1a4 /Source/AbsInt/AbsInt.csproj
parentab519e927d0dc7975517671afb5ae4ea12e5268a (diff)
Boogie: Basetypes port 3/3: Committing changed references
Z3api.csproj shouldn't get in the way this time 'round.
Diffstat (limited to 'Source/AbsInt/AbsInt.csproj')
-rw-r--r--Source/AbsInt/AbsInt.csproj4
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/AbsInt/AbsInt.csproj b/Source/AbsInt/AbsInt.csproj
index 62d90dff..a2d8e1cc 100644
--- a/Source/AbsInt/AbsInt.csproj
+++ b/Source/AbsInt/AbsInt.csproj
@@ -92,8 +92,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">