Fixed bug in inlining (procedure *definitions* had been traversed by StandardVisitor while visiting commands).

This solves Issue #6266.

1 files changed, 0 insertions, 2 deletions

diff --git a/Source/Core/StandardVisitor.ssc b/Source/Core/StandardVisitor.ssc
index 1e0ceb8f..192ed7a4 100644
--- a/Source/Core/StandardVisitor.ssc
+++ b/Source/Core/StandardVisitor.ssc
@@ -148,7 +148,6 @@ namespace Microsoft.Boogie
       for (int i = 0; i < node.Outs.Count; ++i)

         if (node.Outs[i] != null)

           node.Outs[i] = (IdentifierExpr)this.VisitIdentifierExpr((!)node.Outs[i]);

-      node.Proc = this.VisitProcedure((!)node.Proc);

       return node; 

     }

     public virtual Cmd! VisitCallForallCmd(CallForallCmd! node)

@@ -349,7 +348,6 @@ namespace Microsoft.Boogie
     public virtual Expr! VisitNAryExpr(NAryExpr! node)

     {

       node.Args = this.VisitExprSeq(node.Args);

-//      if (node.Type != null) { node.Type = this.VisitType(node.Type); } // BUGBUG? Do this even though it 

       return node; 

     }

     public virtual Expr! VisitOldExpr(OldExpr! node)