Dafny: change labels to use a generic singly linked list

1 files changed, 3 insertions, 3 deletions

diff --git a/Dafny/Printer.cs b/Dafny/Printer.cs
index 6cf71fa1..e7cfbf27 100644
--- a/Dafny/Printer.cs
+++ b/Dafny/Printer.cs
@@ -421,9 +421,9 @@ namespace Microsoft.Dafny {
     /// </summary>

     public void PrintStatement(Statement stmt, int indent) {

       Contract.Requires(stmt != null);

-      for (LabelNode label = stmt.Labels; label != null; label = label.Next) {

-        if (label.Label != null) {

-          wr.WriteLine("label {0}:", label.Label);

+      for (LList<Label> label = stmt.Labels; label != null; label = label.Next) {

+        if (label.Data.Name != null) {

+          wr.WriteLine("label {0}:", label.Data.Name);

           Indent(indent);

         }

       }