DafnyExtension: Use tracking spans instead of regular spans.

1 files changed, 1 insertions, 1 deletions

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