From 59cfcbb7ac83a23e7df3cb1e85c58167fc07af65 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Thu, 23 May 2013 17:55:34 -0700
Subject: DafnyExtension: Added menu for invoking specific Dafny functionality
 (e.g., compilation).

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

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

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