diff options
| author |  wuestholz <unknown> | 2013-07-12 15:24:33 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-12 15:24:33 -0700 |
| commit | fb5ed6bb0756e15ca6804ed7a831512540437110 (patch) | |
| tree | 2c96c6de06dd45bf2dcc21a1d1560a7cc076b49f /Source/DafnyExtension/ProgressMargin.cs | |
| parent | 4eb70b6a0d4f4e2cedff4d4014911127d320a3b9 (diff) | |
DafnyExtension: Fixed an error list issue.
Diffstat (limited to 'Source/DafnyExtension/ProgressMargin.cs')
| -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);
|