From f6981d46b1373bbe3d3ff43981dba84dba2eb43a Mon Sep 17 00:00:00 2001
From: akashlal <unknown>
Date: Thu, 25 Sep 2014 10:34:30 +0530
Subject: The setter is better this way

---
 Source/Core/Absy.cs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'Source/Core')

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);
         }
     }
 
-- 
cgit v1.2.3