From b9fba0c917f1a5489e92af4c0ef61130329ba123 Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Tue, 25 Oct 2011 17:02:16 -0700
Subject: Dafny: implemented compilation of parallel statements Dafny: beefed
 up resolution of parallel statements

---
 Binaries/DafnyRuntime.cs | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'Binaries')

diff --git a/Binaries/DafnyRuntime.cs b/Binaries/DafnyRuntime.cs
index 82de380d..e22d52ad 100644
--- a/Binaries/DafnyRuntime.cs
+++ b/Binaries/DafnyRuntime.cs
@@ -298,6 +298,12 @@ namespace Dafny
         return elmts;
       }
     }
+    public IEnumerable<T> UniqueElements {
+      get {
+        var st = Set<T>.FromElements(elmts);
+        return st.Elements;
+      }
+    }
     public T Select(BigInteger index) {
       return elmts[(int)index];
     }
-- 
cgit v1.2.3