From 340d806c655bee13b655c369b4e9b3245d01e953 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Sat, 14 Dec 2013 16:56:04 -0800
Subject: fixed type checking errors in QED stuff

---
 Source/Core/Absy.cs | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'Source/Core/Absy.cs')

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index d1651ff4..6c333143 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -2363,10 +2363,7 @@ namespace Microsoft.Boogie {
           tc.Error(this, "atomic specification allowed only in a yielding procedure");
           return;
       }
-      bool oldYields = tc.Yields;
-      tc.Yields = isAtomicSpecification;
       this.Condition.Typecheck(tc);
-      tc.Yields = oldYields;
       Contract.Assert(this.Condition.Type != null);  // follows from postcondition of Expr.Typecheck
       if (!this.Condition.Type.Unify(Type.Bool)) {
         tc.Error(this, "postconditions must be of type bool");
-- 
cgit v1.2.3