diff options
author | wuestholz <unknown> | 2013-08-01 10:04:00 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-08-01 10:04:00 -0700 |
commit | 0ce2ef03979ae45ccc9ce8a77802ba7031fc8270 (patch) | |
tree | a0cc8dfcf1319dfc57347de24431f0adde7e927e /Source/DafnyExtension/ResolverTagger.cs | |
parent | 4a8977c741a668890f6095c2ff93a18175508746 (diff) |
DafnyExtension: Made it select the last error state by default when an error is selected.
Diffstat (limited to 'Source/DafnyExtension/ResolverTagger.cs')
-rw-r--r-- | Source/DafnyExtension/ResolverTagger.cs | 5 |
1 files changed, 0 insertions, 5 deletions
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();
}
|