diff options
| author |  leino <unknown> | 2014-07-15 18:08:37 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-07-15 18:08:37 -0700 |
| commit | c377658acba5472b6d0c1e1452ce4c4c8f1fc28e (patch) | |
| tree | de4baf9f4808d5de2db35a0d42fb4112a52004a7 /Source/DafnyExtension/OutliningTagger.cs | |
| parent | 90e67ff546955e25f019f2d3d7aef5f832f0daf5 (diff) | |
Fixed build break from recent change
Diffstat (limited to 'Source/DafnyExtension/OutliningTagger.cs')
| -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"));
|