Merge

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index dc12894d..cd0c810c 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -549,7 +549,7 @@ namespace Microsoft.Boogie {
       }

     }

 

-    IEnumerable<Axiom> axiomsCache;

+    List<Axiom> axiomsCache;

     public IEnumerable<Axiom> Axioms

     {

       get

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

         if (topLevelDeclarationsAreFrozen)

         {

-          axiomsCache = result;

+          axiomsCache = result.ToList();

         }

         return result;

       }