From 3e78349f3527f4892d43e82e86022a7656ec0d6b Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 23 Sep 2014 14:30:46 +0200
Subject: Did more refactoring.

---
 Source/DafnyExtension/DafnyDriver.cs    | 2 +-
 Source/DafnyExtension/ResolverTagger.cs | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs
index eadf24e3..3d4e7916 100644
--- a/Source/DafnyExtension/DafnyDriver.cs
+++ b/Source/DafnyExtension/DafnyDriver.cs
@@ -248,7 +248,7 @@ namespace DafnyLanguage
       translator.UniqueIdPrefix = uniqueIdPrefix;
       Bpl.Program boogieProgram = translator.Translate(dafnyProgram);
 
-      resolver.ReInitializeVerificationErrors(requestId, boogieProgram.TopLevelDeclarations);
+      resolver.ReInitializeVerificationErrors(requestId, boogieProgram.Implementations);
 
       // TODO(wuestholz): Maybe we should use a fixed program ID to limit the memory overhead due to the program cache in Boogie.
       PipelineOutcome oc = BoogiePipeline(boogieProgram, 1 < Dafny.DafnyOptions.Clo.VerifySnapshots ? uniqueIdPrefix : null, requestId, er);
diff --git a/Source/DafnyExtension/ResolverTagger.cs b/Source/DafnyExtension/ResolverTagger.cs
index 3adb37a4..f0acc279 100644
--- a/Source/DafnyExtension/ResolverTagger.cs
+++ b/Source/DafnyExtension/ResolverTagger.cs
@@ -154,9 +154,9 @@ namespace DafnyLanguage
 
     string MostRecentRequestId;
     
-    internal void ReInitializeVerificationErrors(string mostRecentRequestId, IEnumerable<Microsoft.Boogie.Declaration> units)
+    internal void ReInitializeVerificationErrors(string mostRecentRequestId, IEnumerable<Microsoft.Boogie.Implementation> implementations)
     {
-      var implNames = units.OfType<Microsoft.Boogie.Implementation>().Select(impl => impl.Name);
+      var implNames = implementations.Select(impl => impl.Name);
       lock (this)
       {
         MostRecentRequestId = mostRecentRequestId;
-- 
cgit v1.2.3