diff options
Diffstat (limited to 'Util')
-rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs b/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs index 5fa7d91c..33f00ab2 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs +++ b/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs @@ -199,11 +199,9 @@ namespace DafnyLanguage }
});
if (!success) {
- newErrors.Clear();
newErrors.Add(new DafnyError(0, 0, ErrorCategory.InternalError, "verification process error"));
}
} catch (Exception e) {
- newErrors.Clear();
newErrors.Add(new DafnyError(0, 0, ErrorCategory.InternalError, "verification process error: " + e.Message));
}
errorListHolder.PopulateErrorList(newErrors, true, snapshot);
|