From ba44ef189a6f921e1fb54410653623c1e19a085a Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sun, 21 Jul 2013 14:55:29 -0700
Subject: DafnyExtension: Worked on improving the error selection and
 visualization.

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

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

diff --git a/Source/DafnyExtension/ProgressMargin.cs b/Source/DafnyExtension/ProgressMargin.cs
index a96a0373..9d10cb70 100644
--- a/Source/DafnyExtension/ProgressMargin.cs
+++ b/Source/DafnyExtension/ProgressMargin.cs
@@ -68,6 +68,7 @@ namespace DafnyLanguage
 
   [Export(typeof(ITaggerProvider))]
   [ContentType("dafny")]
+  [Name("ProgressTagger")]
   [TagType(typeof(ProgressGlyphTag))]
   class ProgressTaggerProvider : ITaggerProvider
   {
-- 
cgit v1.2.3