added parallel calls

1 files changed, 6 insertions, 7 deletions

diff --git a/Source/Core/StandardVisitor.cs b/Source/Core/StandardVisitor.cs
index 2071154b..ee873bd4 100644
--- a/Source/Core/StandardVisitor.cs
+++ b/Source/Core/StandardVisitor.cs
@@ -84,13 +84,6 @@ namespace Microsoft.Boogie {
       node.Expr = this.VisitExpr(node.Expr);

       return node;

     }

-    public virtual Cmd VisitYieldCmd(YieldCmd node)

-    {

-        Contract.Requires(node != null);

-        Contract.Ensures(Contract.Result<Cmd>() != null);

-        node.Expr = this.VisitExpr(node.Expr);

-        return node;

-    }

     public virtual AtomicRE VisitAtomicRE(AtomicRE node) {

       Contract.Requires(node != null);

       Contract.Ensures(Contract.Result<AtomicRE>() != null);

@@ -446,6 +439,12 @@ 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);