Boogie: Graph port 3/3: Committing changed references; also, adding back cce files, to ease between-project conflict. Will trim these back off after commit of Basetypes port in ~20 min.

1 files changed, 4 insertions, 4 deletions

diff --git a/Source/AIFramework/cce.cs b/Source/AIFramework/cce.cs
index 76deba32..ef594484 100644
--- a/Source/AIFramework/cce.cs
+++ b/Source/AIFramework/cce.cs
@@ -3,7 +3,7 @@ using SA=System.Attribute;
 using System.Collections.Generic;

 using System.Diagnostics.Contracts;

 using System.Text;

-using Microsoft.Boogie;

+//using Microsoft.Boogie;

 

 /// <summary>

 /// A class containing static methods to extend the functionality of Code Contracts

@@ -131,9 +131,9 @@ public static class cce {
   //  return toRet;

   //}

 

-  internal static bool NonNullElements(Set set) {

-    return set != null && Contract.ForAll(0,set.Count, i => set[i] != null);

-  }

+  //internal static bool NonNullElements(Set set) {

+  //  return set != null && Contract.ForAll(0,set.Count, i => set[i] != null);

+  //}

 }

 

 public class PeerAttribute : SA {