From b443322c8ce89ac68f0aa7cca49cd406cade7641 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Fri, 21 Jun 2013 09:51:44 -0700
Subject: DafnyExtension: Use tracking spans instead of regular spans.

---
 Source/DafnyExtension/ProgressMargin.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/DafnyExtension/ProgressMargin.cs')

diff --git a/Source/DafnyExtension/ProgressMargin.cs b/Source/DafnyExtension/ProgressMargin.cs
index 597f3143..0e8acc2b 100644
--- a/Source/DafnyExtension/ProgressMargin.cs
+++ b/Source/DafnyExtension/ProgressMargin.cs
@@ -317,7 +317,6 @@ namespace DafnyLanguage
               errorListHolder.AddError(new DafnyError(aux.Tok.line - 1, aux.Tok.col - 1, ErrorCategory.AuxInformation, aux.FullMsg, s), errorInfo.ImplementationName, requestId);
             }
           }
-          // errorListHolder.UpdateErrorList(snapshot);
         });
         if (!success)
         {
@@ -333,6 +332,7 @@ namespace DafnyLanguage
         bufferChangesPreVerificationStart.Clear();
         verificationInProgress = false;
       }
+
       // Notify to-whom-it-may-concern about the cleared pre-verification changes
       NotifyAboutChangedTags(snapshot);
 
-- 
cgit v1.2.3