Fixed issue reported by Akash Lal.

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index 27cd7efd..bd8b9a65 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -541,7 +541,7 @@ namespace Microsoft.Boogie {
       }

     }

 

-    IEnumerable<Axiom> axiomsCache;

+    List<Axiom> axiomsCache;

     public IEnumerable<Axiom> Axioms

     {

       get

@@ -553,7 +553,7 @@ namespace Microsoft.Boogie {
         var result = TopLevelDeclarations.OfType<Axiom>();

         if (topLevelDeclarationsAreFrozen)

         {

-          axiomsCache = result;

+          axiomsCache = result.ToList();

         }

         return result;

       }