From adfed676d8b9fddcc85fabf98b8f602ab76f5dc7 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 23 Sep 2014 14:30:50 +0200
Subject: Did more refactoring and addressed several todos.

---
 Source/ExecutionEngine/ExecutionEngine.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/ExecutionEngine/ExecutionEngine.cs')

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index 11558750..b5f4f87b 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -875,7 +875,6 @@ namespace Microsoft.Boogie
       Implementation[] stablePrioritizedImpls = null;
       if (0 < CommandLineOptions.Clo.VerifySnapshots)
       {
-        // TODO(wuestholz): Maybe we should speed up this lookup.
         OtherDefinitionAxiomsCollector.Collect(program.Axioms);
         DependencyCollector.Collect(program);
         stablePrioritizedImpls = impls.OrderByDescending(
@@ -992,6 +991,7 @@ namespace Microsoft.Boogie
 
       if (1 < CommandLineOptions.Clo.VerifySnapshots && programId != null)
       {
+        program.FreezeTopLevelDeclarations();
         programCache.Set(programId, program, policy);
       }
 
-- 
cgit v1.2.3