diff options
| author |  wuestholz <unknown> | 2013-07-23 21:25:52 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-23 21:25:52 -0700 |
| commit | 31c8858d5ce892067e4b558049d4fd0ddc867209 (patch) | |
| tree | 9b940c3b71f17f47dc9d068ae3def54eaa2d9fff /Source/DafnyExtension/ResolverTagger.cs | |
| parent | d8a65c401b520f7a96a186491d33e00fc16c4f1c (diff) | |
DafnyExtension: minor fix
Diffstat (limited to 'Source/DafnyExtension/ResolverTagger.cs')
| -rw-r--r-- | Source/DafnyExtension/ResolverTagger.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/DafnyExtension/ResolverTagger.cs b/Source/DafnyExtension/ResolverTagger.cs index c67935d2..ece6da50 100644 --- a/Source/DafnyExtension/ResolverTagger.cs +++ b/Source/DafnyExtension/ResolverTagger.cs @@ -482,7 +482,7 @@ namespace DafnyLanguage {
get
{
- if (Model != null)
+ if (!string.IsNullOrEmpty(Model))
{
if (_stateSpans != null) { return _stateSpans; }
var locRegex = new Regex(@"\((\d+),(\d+)\)");
|