diff options
author | wuestholz <unknown> | 2013-06-20 17:50:13 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-06-20 17:50:13 -0700 |
commit | 7a9c9cfb6bf69f2ed8c5c8d8ad0e7780266338d8 (patch) | |
tree | 1a9e1915ec024d673ff89889dcf4bf1b494449f4 /Source/DafnyExtension/IdentifierTagger.cs | |
parent | e6d538df09a5b615b7be8d02c8d0f19ccb0483b2 (diff) |
DafnyExtension: Made it display verification errors incrementally.
Diffstat (limited to 'Source/DafnyExtension/IdentifierTagger.cs')
-rw-r--r-- | Source/DafnyExtension/IdentifierTagger.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/DafnyExtension/IdentifierTagger.cs b/Source/DafnyExtension/IdentifierTagger.cs index 86fb2696..49c7bb01 100644 --- a/Source/DafnyExtension/IdentifierTagger.cs +++ b/Source/DafnyExtension/IdentifierTagger.cs @@ -107,8 +107,8 @@ namespace DafnyLanguage ITextSnapshot snap;
Microsoft.Dafny.Program prog;
lock (this) {
- snap = r._snapshot;
- prog = r._program;
+ snap = r.Snapshot;
+ prog = r.Program;
}
if (prog != null) {
if (!ComputeIdentifierRegions(prog, snap))
|