Refactored how checksums are computed.

1 files changed, 1 insertions, 3 deletions

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index 1b799bd5..a568176b 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -880,9 +880,7 @@ namespace Microsoft.Boogie
       {

         // TODO(wuestholz): Maybe we should speed up this lookup.

         OtherDefinitionAxiomsCollector.Collect(program.TopLevelDeclarations.OfType<Axiom>());

-        // TODO(wuestholz): Maybe we should speed up this lookup.

-        program.TopLevelDeclarations.OfType<Function>().Iter(fun => { DependencyCollector.DependenciesChecksum(fun); });

-        impls.Iter(impl => { DependencyCollector.DependenciesChecksum(impl); });

+        DependencyCollector.Collect(program);

         stablePrioritizedImpls = impls.OrderByDescending(

           impl => impl.Priority != 1 ? impl.Priority : Cache.VerificationPriority(impl)).ToArray();

       }