From 05f3db34fad65243cbfc077bea7247ed5594bbb9 Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Mon, 22 Jul 2013 18:25:34 +0100
Subject: More refactoring: PureCollections.Sequence not used anymore.

---
 Source/CodeContractsExtender/cce.cs | 15 ---------------
 1 file changed, 15 deletions(-)

(limited to 'Source/CodeContractsExtender')

diff --git a/Source/CodeContractsExtender/cce.cs b/Source/CodeContractsExtender/cce.cs
index 31de9a70..12163c40 100644
--- a/Source/CodeContractsExtender/cce.cs
+++ b/Source/CodeContractsExtender/cce.cs
@@ -124,21 +124,6 @@ public static class cce {
     public UnreachableException() {
     }
   }
-  //[Pure]
-  //public static bool IsValid(Microsoft.Dafny.Expression expression) {
-  //  return true;
-  //}
-  //public static List<T> toList<T>(PureCollections.Sequence s) {
-  //  List<T> toRet = new List<T>();
-  //  foreach (T t in s.elems)
-  //    if(t!=null)
-  //    toRet.Add(t);
-  //  return toRet;
-  //}
-
-  //internal static bool NonNullElements(Set set) {
-  //  return set != null && Contract.ForAll(0,set.Count, i => set[i] != null);
-  //}
 
 }
 
-- 
cgit v1.2.3