From 8bb1e486770ccc399c86c713b7808b0dee5971d5 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 23 Sep 2014 13:29:53 +0200
Subject: Did more refactoring.

---
 Source/Core/StandardVisitor.cs | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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

diff --git a/Source/Core/StandardVisitor.cs b/Source/Core/StandardVisitor.cs
index d4be8ed4..3f3ad5ae 100644
--- a/Source/Core/StandardVisitor.cs
+++ b/Source/Core/StandardVisitor.cs
@@ -9,6 +9,7 @@
 
 using System.Collections.Generic;
 using System.Diagnostics.Contracts;
+using System.Linq;
 
 namespace Microsoft.Boogie {
   [ContractClass(typeof(VisitorContracts))]
@@ -429,7 +430,9 @@ namespace Microsoft.Boogie {
     public virtual Program VisitProgram(Program node) {
       Contract.Requires(node != null);
       Contract.Ensures(Contract.Result<Program>() != null);
-      node.TopLevelDeclarations = this.VisitDeclarationList(node.TopLevelDeclarations);
+      var decls = node.TopLevelDeclarations.ToList();
+      node.ClearTopLevelDeclarations();
+      node.AddTopLevelDeclarations(this.VisitDeclarationList(decls));
       return node;
     }
     public virtual QKeyValue VisitQKeyValue(QKeyValue node) {
@@ -979,7 +982,7 @@ namespace Microsoft.Boogie {
       public override Program VisitProgram(Program node)
       {
           Contract.Ensures(Contract.Result<Program>() == node);
-          this.VisitDeclarationList(node.TopLevelDeclarations);
+          this.VisitDeclarationList(node.TopLevelDeclarations.ToList());
           return node;
       }
       public override QKeyValue VisitQKeyValue(QKeyValue node) {
-- 
cgit v1.2.3