diff options
author | Rustan Leino <leino@microsoft.com> | 2012-08-21 14:51:40 -0700 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2012-08-21 14:51:40 -0700 |
commit | f66983bb888a2edfc744cfafdb8fa32de1821d20 (patch) | |
tree | d2a9029f0716b32331d37a4a7e92cea5d4d77926 /Util | |
parent | b49eb7d6cf575542e34f0105c0fb8c6f3a4a1769 (diff) |
DafnyExtensions: better error handling
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);
|