From 03e650bc57fc7f388600573c1ba828f11d4f42b1 Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Fri, 27 Aug 2010 16:00:08 +0000
Subject: Boogie: Basetypes port 3/3: Committing changed references
 Z3api.csproj shouldn't get in the way this time 'round.

---
 Source/AbsInt/AbsInt.csproj | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/AbsInt')

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">
-- 
cgit v1.2.3