From 2108194bc0fc2b69c3a5a738fc80b95900d50be6 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Thu, 19 Dec 2013 13:45:59 -0800
Subject: various updates and tighter integration of QED stuff into mainline

---
 Source/Core/StandardVisitor.cs | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

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

diff --git a/Source/Core/StandardVisitor.cs b/Source/Core/StandardVisitor.cs
index cd59638b..4605019f 100644
--- a/Source/Core/StandardVisitor.cs
+++ b/Source/Core/StandardVisitor.cs
@@ -468,12 +468,6 @@ namespace Microsoft.Boogie {
       Contract.Ensures(Contract.Result<ReturnCmd>() != null);
       return (ReturnCmd)this.VisitTransferCmd(node);
     }
-    public virtual YieldCmd VisitYieldCmd(YieldCmd node)
-    {
-        Contract.Requires(node != null);
-        Contract.Ensures(Contract.Result<YieldCmd>() != null);
-        return node;
-    }
     public virtual ReturnExprCmd VisitReturnExprCmd(ReturnExprCmd node) {
       Contract.Requires(node != null);
       Contract.Ensures(Contract.Result<ReturnExprCmd>() != null);
@@ -588,6 +582,12 @@ namespace Microsoft.Boogie {
       }
       return variableSeq;
     }
+    public virtual YieldCmd VisitYieldCmd(YieldCmd node)
+    {
+        Contract.Requires(node != null);
+        Contract.Ensures(Contract.Result<YieldCmd>() != null);
+        return node;
+    }
     public virtual Cmd VisitAssertEnsuresCmd(AssertEnsuresCmd node) {
       Contract.Requires(node != null);
       Contract.Ensures(Contract.Result<Cmd>() != null);
-- 
cgit v1.2.3