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);