The setter is better this way

1 files changed, 6 insertions, 1 deletions

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index d5abda9b..27cd7efd 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -453,8 +453,13 @@ namespace Microsoft.Boogie {
 

         set

         {

+            // materialize the decls, in case there is any dependency 

+            // back on topLevelDeclarations

+            var v = value.ToList();

+            // now clear the decls

             ClearTopLevelDeclarations();

-            AddTopLevelDeclarations(value);

+            // and add the value

+            AddTopLevelDeclarations(v);

         }

     }