From 8969aaf56d64795a2ea476759450e4df8bd14f6b Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Thu, 6 Jun 2013 18:00:47 -0700
Subject: DafnyExtension: Worked on integrating the verification result
 caching.

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

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

diff --git a/Source/DafnyExtension/ProgressMargin.cs b/Source/DafnyExtension/ProgressMargin.cs
index f5faf697..1705e3ed 100644
--- a/Source/DafnyExtension/ProgressMargin.cs
+++ b/Source/DafnyExtension/ProgressMargin.cs
@@ -257,6 +257,8 @@ namespace DafnyLanguage
         bufferChangesPostVerificationStart.Clear();
         bufferChangesPostVerificationStart.Add(new SnapshotSpan(_buffer.CurrentSnapshot, 0, _buffer.CurrentSnapshot.Length));
         verificationDisabled = false;
+        // TODO(wuestholz): Only drop verification results from this buffer.
+        Microsoft.Boogie.ExecutionEngine.EmptyCache();
         NotifyAboutChangedTags(_buffer.CurrentSnapshot);
       }
     }
-- 
cgit v1.2.3