1 files changed, 2 insertions, 0 deletions
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);
       }
     }