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/Basetypes/Basetypes.csproj | 7 ++++++-
 Source/Basetypes/cce.cs           | 2 +-
 2 files changed, 7 insertions(+), 2 deletions(-)

(limited to 'Source/Basetypes')

diff --git a/Source/Basetypes/Basetypes.csproj b/Source/Basetypes/Basetypes.csproj
index eed8639e..b732f818 100644
--- a/Source/Basetypes/Basetypes.csproj
+++ b/Source/Basetypes/Basetypes.csproj
@@ -81,10 +81,15 @@
   </ItemGroup>
   <ItemGroup>
     <Compile Include="BigNum.cs" />
-    <Compile Include="cce.cs" />
     <Compile Include="Rational.cs" />
     <Compile Include="Set.cs" />
   </ItemGroup>
+  <ItemGroup>
+    <ProjectReference Include="..\CodeContractsExtender\CodeContractsExtender.csproj">
+      <Project>{ACCC0156-0921-43ED-8F67-AD8BDC8CDE31}</Project>
+      <Name>CodeContractsExtender</Name>
+    </ProjectReference>
+  </ItemGroup>
   <ItemGroup>
     <Folder Include="Properties\" />
   </ItemGroup>
diff --git a/Source/Basetypes/cce.cs b/Source/Basetypes/cce.cs
index d85a1300..ef594484 100644
--- a/Source/Basetypes/cce.cs
+++ b/Source/Basetypes/cce.cs
@@ -131,7 +131,7 @@ public static class cce {
   //  return toRet;
   //}
 
-  //internal static bool NonNullElements(Microsoft.Boogie.Set set) {
+  //internal static bool NonNullElements(Set set) {
   //  return set != null && Contract.ForAll(0,set.Count, i => set[i] != null);
   //}
 }
-- 
cgit v1.2.3