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);
         }
     }