diff options
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs')
| -rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs b/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs index 80976499..e7ce830e 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs +++ b/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs @@ -113,10 +113,11 @@ namespace DafnyLanguage _snapshot = snapshot;
_regions = newRegions;
- foreach (var span in difference) {
- var chng = TagsChanged;
- if (chng != null)
+ var chng = TagsChanged;
+ if (chng != null) {
+ foreach (var span in difference) {
chng(this, new SnapshotSpanEventArgs(span));
+ }
}
}
|