From 2a442cedb2d920cb45382af4add7f05270e31207 Mon Sep 17 00:00:00 2001
From: Michael Lowell Roberts <mirobert@microsoft.com>
Date: Mon, 31 Aug 2015 10:54:41 -0700
Subject: fix for comparison error in prelude when using /optimize.

---
 Binaries/DafnyRuntime.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Binaries')

diff --git a/Binaries/DafnyRuntime.cs b/Binaries/DafnyRuntime.cs
index dfb8cf38..d1a3c092 100644
--- a/Binaries/DafnyRuntime.cs
+++ b/Binaries/DafnyRuntime.cs
@@ -72,11 +72,11 @@ namespace Dafny
       }
     }
     public bool Equals(Set<T> other) {
-        return this.setImpl.Equals(other.setImpl);
+        return this.setImpl.SetEquals(other.setImpl);
     }
     public override bool Equals(object other) {
         var otherSet = other as Set<T>;
-        return otherSet != null && Equals(otherSet);
+        return otherSet != null && this.Equals(otherSet);
     }
     public override int GetHashCode() {
       var hashCode = 1;
-- 
cgit v1.2.3