summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension
diff options
context:
space:
mode:
authorGravatar leino <unknown>2014-07-15 18:08:37 -0700
committerGravatar leino <unknown>2014-07-15 18:08:37 -0700
commitc377658acba5472b6d0c1e1452ce4c4c8f1fc28e (patch)
treede4baf9f4808d5de2db35a0d42fb4112a52004a7 /Source/DafnyExtension
parent90e67ff546955e25f019f2d3d7aef5f832f0daf5 (diff)
Fixed build break from recent change
Diffstat (limited to 'Source/DafnyExtension')
-rw-r--r--Source/DafnyExtension/OutliningTagger.cs2
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/DafnyExtension/OutliningTagger.cs b/Source/DafnyExtension/OutliningTagger.cs
index 7c786d7e..b6fe38bc 100644
--- a/Source/DafnyExtension/OutliningTagger.cs
+++ b/Source/DafnyExtension/OutliningTagger.cs
@@ -136,7 +136,7 @@ namespace DafnyLanguage
if (!HasBodyTokens(d) && !(d is Dafny.ClassDecl)) {
continue;
}
- if (d is Dafny.ArbitraryTypeDecl) {
+ if (d is Dafny.OpaqueTypeDecl) {
newRegions.Add(new OutliningRegion(d, "type"));
} else if (d is Dafny.CoDatatypeDecl) {
newRegions.Add(new OutliningRegion(d, "codatatype"));