diff options
author | wuestholz <unknown> | 2013-06-11 13:59:14 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-06-11 13:59:14 -0700 |
commit | 8ab901b5cb329046baf4476e87a9d3ae3f2b20b4 (patch) | |
tree | 7c17238638c0d84cc6bcd0dba84080620973dd98 /Source/DafnyExtension/ProgressMargin.cs | |
parent | 4314d2bf8634ddc573c4f0a4266a6771cb5eb696 (diff) |
DafnyExtension: Worked on integrating the verification result caching.
Diffstat (limited to 'Source/DafnyExtension/ProgressMargin.cs')
-rw-r--r-- | Source/DafnyExtension/ProgressMargin.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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);
}
|