diff options
| author |  tabarbe <unknown> | 2010-08-27 17:23:51 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-27 17:23:51 +0000 |
| commit | 6de3f9c9f86be13bbd4f0bd6e4edf7d7785db0a4 (patch) | |
| tree | 087d90276b93254a98cbd1e3c898d5b2d48af1e8 /Source/Basetypes/cce.cs | |
| parent | 5b3285b1261b27a5a6bdeac05ab836c0947280da (diff) | |
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.
Diffstat (limited to 'Source/Basetypes/cce.cs')
| -rw-r--r-- | Source/Basetypes/cce.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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);
//}
}
|