DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., compilation).

1 files changed, 2 insertions, 1 deletions

diff --git a/Source/DafnyExtension/ProgressMargin.cs b/Source/DafnyExtension/ProgressMargin.cs
index 7fdf38a6..3f4da8ed 100644
--- a/Source/DafnyExtension/ProgressMargin.cs
+++ b/Source/DafnyExtension/ProgressMargin.cs
@@ -79,7 +79,7 @@ namespace DafnyLanguage
     }

   }

 

-  internal class ProgressTagger : ITagger<ProgressGlyphTag>

+  internal class ProgressTagger : ITagger<ProgressGlyphTag>, IDisposable

   {

     ErrorListProvider _errorProvider;

     ITextBuffer _buffer;

@@ -100,6 +100,7 @@ namespace DafnyLanguage
     }

 

     public void Dispose() {

+      _errorProvider.Dispose();

     }

 

     // The following fields and the contents of the following two lists are protected by the lock "this".