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/VCGeneration/VCGeneration.csproj | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/VCGeneration')

diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj
index 4f652a5d..d6890363 100644
--- a/Source/VCGeneration/VCGeneration.csproj
+++ b/Source/VCGeneration/VCGeneration.csproj
@@ -89,8 +89,8 @@
     <Compile Include="Wlp.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