From 0ce2ef03979ae45ccc9ce8a77802ba7031fc8270 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Thu, 1 Aug 2013 10:04:00 -0700
Subject: DafnyExtension: Made it select the last error state by default when
 an error is selected.

---
 Source/DafnyExtension/ResolverTagger.cs | 5 -----
 1 file changed, 5 deletions(-)

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

diff --git a/Source/DafnyExtension/ResolverTagger.cs b/Source/DafnyExtension/ResolverTagger.cs
index dedf506a..230f79c5 100644
--- a/Source/DafnyExtension/ResolverTagger.cs
+++ b/Source/DafnyExtension/ResolverTagger.cs
@@ -376,11 +376,6 @@ namespace DafnyLanguage
               task.Navigate += new EventHandler(NavigateHandler);
             }
             _errorProvider.Tasks.Add(task);
-
-            if (err.Model != null)
-            {
-
-            }
           }
           _errorProvider.ResumeRefresh();
         }
-- 
cgit v1.2.3