From f5120dc1fc47c3eb227f9b21ad42c23814ac8949 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 23 Sep 2014 13:30:07 +0200
Subject: Did more refactoring.

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

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/ResolverTagger.cs b/Source/DafnyExtension/ResolverTagger.cs
index bbe51665..3adb37a4 100644
--- a/Source/DafnyExtension/ResolverTagger.cs
+++ b/Source/DafnyExtension/ResolverTagger.cs
@@ -154,7 +154,7 @@ namespace DafnyLanguage
 
     string MostRecentRequestId;
     
-    internal void ReInitializeVerificationErrors(string mostRecentRequestId, List<Microsoft.Boogie.Declaration> units)
+    internal void ReInitializeVerificationErrors(string mostRecentRequestId, IEnumerable<Microsoft.Boogie.Declaration> units)
     {
       var implNames = units.OfType<Microsoft.Boogie.Implementation>().Select(impl => impl.Name);
       lock (this)
-- 
cgit v1.2.3