// Copyright (c) 2003 Compaq Corporation.  All rights reserved.
package tla2sany.parser;

class StackElement {
  int Kind;
  int Offset;

  StackElement( int o, int k) { Kind = k; Offset = o; }
}

@@ -186,11 +186,122 @@
 t = o; %7D
+%0A%0A%09@Override%0A%09public String toString() %7B%0A%09%09return %22StackElement %5BKind=%22 + Kind + %22, Offset=%22 + Offset + %22%5D%22;%0A%09%7D
 %0A%7D%0A

Add StackElement.toString() to assist w/ debugging