From 5296b17758c3e27bf551e9a322323a37983d7abb Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Wed, 27 Mar 2013 13:51:16 -0700
Subject: The "choose" statement, hacky and specialized as it was, is now gone.
  Use the assign-such-that statement instead.  For example:  x :| x in S;

---
 Binaries/DafnyRuntime.cs | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'Binaries/DafnyRuntime.cs')

diff --git a/Binaries/DafnyRuntime.cs b/Binaries/DafnyRuntime.cs
index 2d17af99..a8faafae 100644
--- a/Binaries/DafnyRuntime.cs
+++ b/Binaries/DafnyRuntime.cs
@@ -162,13 +162,6 @@ namespace Dafny
       }
       return new Set<T>(r);
     }
-    public T Choose() {
-      foreach (T t in dict.Keys) {
-        // return the first one
-        return t;
-      }
-      return default(T);
-    }
   }
   public class MultiSet<T>
   {
-- 
cgit v1.2.3