diff --git a/CompilerGeneration.jrag b/CompilerGeneration.jrag
index 839a5cf24e20cbb3f3593bf14377fd300e411dba..ace8c48555a3259dc7a1df083f55de69fac937c7 100644
--- a/CompilerGeneration.jrag
+++ b/CompilerGeneration.jrag
@@ -129,13 +129,13 @@ aspect GenPrettyPrinter {
 		pStream.print("  public void "+name());
 		pStream.println(".prettyPrint(String indent, PrintStream pStream) {");
 		pStream.print("    System.out.println(indent+\"<"+name());
-		for (int i=0; i<getNumAttribute(); i++) {
-			getAttribute(i).genPrettyPrinter(ind,pStream);
-		}
+// 		for (int i=0; i<getNumAttribute(); i++) {
+// 			getAttribute(i).genPrettyPrinter(ind,pStream);
+// 		}
 		pStream.println(">\");");
-		for (int i=0; i<getNumElement(); i++) {
-			getElement(i).genPrettyPrinter(ind,pStream);
-		}
+		pStream.println("    for (int i=0; i<getNumElement(); i++) {");
+		pStream.println("      getElement(i).prettyPrint(indent,pStream);");
+		pStream.println("    }");
 		pStream.println("    System.out.println(indent+\"</"+name()+">\");");
 		pStream.println("}\n");		
 	}