diff options
Diffstat (limited to 'Source/DafnyExtension')
| -rw-r--r-- | Source/DafnyExtension/OutliningTagger.cs | 2 |
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"));
|