From 68d4ee27e31f0bcd6ec1c5e98f592d0bdfe7eb28 Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Thu, 26 Aug 2010 23:42:13 +0000
Subject: Boogie: AIFramework port part 3/3: Committing reference changes, edit
 to Core to jive with recent changes made to the cce class.

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

(limited to 'Source/AbsInt/AbsInt.csproj')

diff --git a/Source/AbsInt/AbsInt.csproj b/Source/AbsInt/AbsInt.csproj
index 9bfe22fa..c5601053 100644
--- a/Source/AbsInt/AbsInt.csproj
+++ b/Source/AbsInt/AbsInt.csproj
@@ -87,8 +87,8 @@
     <Compile Include="..\version.cs" />
   </ItemGroup>
   <ItemGroup>
-    <ProjectReference Include="..\AIFramework\AIFramework.sscproj">
-      <Project>{24B55172-AD8B-47D1-8952-5A95CFDB9B31}</Project>
+    <ProjectReference Include="..\AIFramework\AIFramework.csproj">
+      <Project>{39B0658D-C955-41C5-9A43-48C97A1EF5FD}</Project>
       <Name>AIFramework</Name>
     </ProjectReference>
     <ProjectReference Include="..\Basetypes\Basetypes.sscproj">
-- 
cgit v1.2.3