diff options
Diffstat (limited to 'Source/Core')
| -rw-r--r-- | Source/Core/AbsyType.ssc | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Source/Core/AbsyType.ssc b/Source/Core/AbsyType.ssc index 6079163a..55b8913f 100644 --- a/Source/Core/AbsyType.ssc +++ b/Source/Core/AbsyType.ssc @@ -63,7 +63,7 @@ namespace Microsoft.Boogie }
return buffer.ToString();
}
-
+
//----------- Equality ----------------------------------
[Pure][Reads(ReadsAttribute.Reads.Nothing)]
@@ -2131,8 +2131,7 @@ namespace Microsoft.Boogie public override void Emit(TokenTextWriter! stream, int contextBindingStrength)
{
stream.SetToken(this);
- ExpandedType.Emit(stream, contextBindingStrength);
- // CtorType.EmitCtorType(this.Decl.Name, Arguments, stream, contextBindingStrength);
+ CtorType.EmitCtorType(this.Decl.Name, Arguments, stream, contextBindingStrength);
}
//----------- Resolution ----------------------------------
|