diff options
Diffstat (limited to 'Source')
-rw-r--r-- | Source/DafnyExtension/ProgressMargin.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/DafnyExtension/ProgressMargin.cs b/Source/DafnyExtension/ProgressMargin.cs index 8500117a..c2db66c0 100644 --- a/Source/DafnyExtension/ProgressMargin.cs +++ b/Source/DafnyExtension/ProgressMargin.cs @@ -346,6 +346,8 @@ namespace DafnyLanguage verificationInProgress = false;
}
+ errorListHolder.UpdateErrorList(snapshot);
+
// Notify to-whom-it-may-concern about the cleared pre-verification changes
NotifyAboutChangedTags(snapshot);
|