From 498bff41addc9ca481926f668fb6b69b17b9deda Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Tue, 5 Aug 2014 10:06:39 -0700
Subject: Resolved further merge issues

---
 Source/Dafny/Printer.cs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Source/Dafny/Printer.cs')

diff --git a/Source/Dafny/Printer.cs b/Source/Dafny/Printer.cs
index 6e10e7a1..a96efb8b 100644
--- a/Source/Dafny/Printer.cs
+++ b/Source/Dafny/Printer.cs
@@ -265,6 +265,9 @@ namespace Microsoft.Dafny {
       Contract.Requires(c != null);
       Indent(indent);
       PrintClassMethodHelper((c is TraitDecl) ? "trait" : "class", c.Attributes, c.Name, c.TypeArgs);
+      if (c.TraitId != null) {
+        wr.Write(" extends {0}", c.TraitId.val);
+      }
       if (c.Members.Count == 0) {
         wr.WriteLine(" { }");
       } else {
-- 
cgit v1.2.3