various updates and tighter integration of QED stuff into mainline

1 files changed, 6 insertions, 6 deletions

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);