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/OutliningTagger.cs | |
parent | e6d538df09a5b615b7be8d02c8d0f19ccb0483b2 (diff) |
DafnyExtension: Made it display verification errors incrementally.
Diffstat (limited to 'Source/DafnyExtension/OutliningTagger.cs')
-rw-r--r-- | Source/DafnyExtension/OutliningTagger.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/DafnyExtension/OutliningTagger.cs b/Source/DafnyExtension/OutliningTagger.cs index 0e7d1f1d..99611db8 100644 --- a/Source/DafnyExtension/OutliningTagger.cs +++ b/Source/DafnyExtension/OutliningTagger.cs @@ -97,8 +97,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 (!ComputeOutliningRegions(prog, snap))
|