DafnyExtension: fixed bad merge

atomb · Aug 18, 2012 · bab175d · bab175d
1 parent 3c99e0b
commit bab175d
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs b/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs
@@ -197,10 +197,11 @@ internal class ProgressTagger : ITagger<ProgressGlyphTag>
  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();