From f66983bb888a2edfc744cfafdb8fa32de1821d20 Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Tue, 21 Aug 2012 14:51:40 -0700
Subject: DafnyExtensions:  better error handling

---
 Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Util')

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);
-- 
cgit v1.2.3