diff options
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();
}
|