From 8ab901b5cb329046baf4476e87a9d3ae3f2b20b4 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 11 Jun 2013 13:59:14 -0700
Subject: DafnyExtension: Worked on integrating the verification result
 caching.

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

(limited to 'Source/DafnyExtension/ProgressMargin.cs')

diff --git a/Source/DafnyExtension/ProgressMargin.cs b/Source/DafnyExtension/ProgressMargin.cs
index b964776d..f2ea452e 100644
--- a/Source/DafnyExtension/ProgressMargin.cs
+++ b/Source/DafnyExtension/ProgressMargin.cs
@@ -277,7 +277,7 @@ namespace DafnyLanguage
         verificationDisabled = false;
         if (_document != null)
         {
-          Microsoft.Boogie.ExecutionEngine.RemoveMatchingKeysFromCache(new Regex(string.Format(@"^{0}", Regex.Escape(_document.FilePath))));
+          Microsoft.Boogie.ExecutionEngine.Cache.RemoveMatchingKeys(new Regex(string.Format(@"^{0}", Regex.Escape(_document.FilePath))));
         }
         NotifyAboutChangedTags(_buffer.CurrentSnapshot);
       }
-- 
cgit v1.2.3