diff options
| author |  leino <unknown> | 2014-12-09 19:34:08 -0800 |
|---|---|---|
| committer | leino <unknown> | 2014-12-09 19:34:08 -0800 |
| commit | 2cb39832d3acc19e48d07efd37758d005785f09d (patch) | |
| tree | d0269c15ad86bdd3bb02a84afffde370b489d1f4 /Source/Dafny/Printer.cs | |
| parent | 22ea901b086b05385d98019ee9eefdab97652499 (diff) | |
| parent | 5ceb4c87998c2b0eaa5a6431b717b295e39c2d29 (diff) | |
Merge
Diffstat (limited to 'Source/Dafny/Printer.cs')
| -rw-r--r-- | Source/Dafny/Printer.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Dafny/Printer.cs b/Source/Dafny/Printer.cs index 86dfe522..b5cc3b2f 100644 --- a/Source/Dafny/Printer.cs +++ b/Source/Dafny/Printer.cs @@ -319,8 +319,8 @@ namespace Microsoft.Dafny { Contract.Requires(c != null);
Indent(indent);
PrintClassMethodHelper((c is TraitDecl) ? "trait" : "class", c.Attributes, c.Name, c.TypeArgs);
- if (c.TraitTyp != null) {
- wr.Write(" extends {0}", ((UserDefinedType)(c.TraitTyp)).tok);
+ if (c.TraitsStr!=string.Empty) {
+ wr.Write(" extends {0}", c.TraitsStr);
}
if (c.Members.Count == 0) {
wr.WriteLine(" { }");
|