summaryrefslogtreecommitdiff
path: root/Util/VS2010
diff options
context:
space:
mode:
authorGravatar Rustan Leino <leino@microsoft.com>2012-08-17 23:48:19 -0700
committerGravatar Rustan Leino <leino@microsoft.com>2012-08-17 23:48:19 -0700
commitbab175d61d1c18ea131c2daa88505e0c935f0d47 (patch)
tree2a5f2cac3c7b3eab23d6fc5574c245e3440ff384 /Util/VS2010
parent3c99e0b5d6d70d5594e6cda0cf116c67e04aa9f1 (diff)
DafnyExtension: fixed bad merge
Diffstat (limited to 'Util/VS2010')
-rw-r--r--Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs9
1 files changed, 5 insertions, 4 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs b/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs
index 648dc6fe..16ed18f4 100644
--- a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs
+++ b/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs
@@ -197,10 +197,11 @@ namespace DafnyLanguage
newErrors.Add(new DafnyError(aux.Tok.line - 1, aux.Tok.col - 1, ErrorCategory.AuxInformation, aux.Msg));
}
});
- if (!success) {
- newErrors.Clear();
- newErrors.Add(new DafnyError(0, 0, ErrorCategory.InternalError, "verification process error"));
- }
+ errorListHolder.PopulateErrorList(newErrors, true, snapshot);
+ if (!success) {
+ newErrors.Clear();
+ newErrors.Add(new DafnyError(0, 0, ErrorCategory.InternalError, "verification process error"));
+ }
lock (this) {
bufferChangesPreVerificationStart.Clear();