Replaced properties Lhss_NRO and Rhss_NRO by methods SetLhs and SetRhs.

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Core/StandardVisitor.cs b/Source/Core/StandardVisitor.cs
index 0284549b..98ea4df3 100644
--- a/Source/Core/StandardVisitor.cs
+++ b/Source/Core/StandardVisitor.cs
@@ -75,8 +75,8 @@ namespace Microsoft.Boogie {
       Contract.Requires(node != null);

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

       for (int i = 0; i < node.Lhss.Count; ++i) {

-        node.Lhss_NRO[i] = cce.NonNull((AssignLhs)this.Visit(node.Lhss[i]));

-        node.Rhss_NRO[i] = cce.NonNull((Expr/*!*/)this.Visit(node.Rhss[i]));

+        node.SetLhs(i, cce.NonNull((AssignLhs)this.Visit(node.Lhss[i])));

+        node.SetRhs(i, cce.NonNull((Expr/*!*/)this.Visit(node.Rhss[i])));

       }

       return node;

     }