diff options
author | Reza Ahmadi <reza.ahmadi@uta.fi> | 2014-12-03 12:44:41 +0200 |
---|---|---|
committer | Reza Ahmadi <reza.ahmadi@uta.fi> | 2014-12-03 12:44:41 +0200 |
commit | c5d7c43605d832cc64e16c66a2c830a880a3d3a2 (patch) | |
tree | 2a11e88fa879a224cadd9f488ffbd78b4c35b5d2 /Source/Dafny/Printer.cs | |
parent | fc43d9d56bdf3cae68bb15871f074149d1381c6a (diff) |
added multiple trait inheritance.
- a class can now extend more than one traits
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 36eeb554..3cc4e57d 100644 --- a/Source/Dafny/Printer.cs +++ b/Source/Dafny/Printer.cs @@ -298,8 +298,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(" { }");
|