From 6de3f9c9f86be13bbd4f0bd6e4edf7d7785db0a4 Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Fri, 27 Aug 2010 17:23:51 +0000
Subject: Boogie: Changed the cce classes into one separate project, which
 every other project in the Boogie solution references.  Dafny.csproj has an
 internal copy of cce, so does not reference this project, because the Dafny
 cce uses some Dafny-defined types in its helper methods.

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

(limited to 'Source/AbsInt')

diff --git a/Source/AbsInt/AbsInt.csproj b/Source/AbsInt/AbsInt.csproj
index a2d8e1cc..66dd256e 100644
--- a/Source/AbsInt/AbsInt.csproj
+++ b/Source/AbsInt/AbsInt.csproj
@@ -81,7 +81,6 @@
   </ItemGroup>
   <ItemGroup>
     <Compile Include="AbstractInterpretation.cs" />
-    <Compile Include="cce.cs" />
     <Compile Include="ExprFactories.cs" />
     <Compile Include="LoopInvariantsOnDemand.cs" />
     <Compile Include="Traverse.cs" />
@@ -96,6 +95,10 @@
       <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
       <Name>Basetypes</Name>
     </ProjectReference>
+    <ProjectReference Include="..\CodeContractsExtender\CodeContractsExtender.csproj">
+      <Project>{ACCC0156-0921-43ED-8F67-AD8BDC8CDE31}</Project>
+      <Name>CodeContractsExtender</Name>
+    </ProjectReference>
     <ProjectReference Include="..\Core\Core.csproj">
       <Project>{B230A69C-C466-4065-B9C1-84D80E76D802}</Project>
       <Name>Core</Name>
-- 
cgit v1.2.3