diff --git a/CompilerGeneration.jrag b/CompilerGeneration.jrag
index 1f3549d8e6f661e47b4a3b10321cf46e1e87bbb7..1485cea1ac700a64c0407d509833ec98ae793d72 100644
--- a/CompilerGeneration.jrag
+++ b/CompilerGeneration.jrag
@@ -122,9 +122,8 @@ aspect GenPrettyPrinter {
 		pStream.println();
 		pStream.println("aspect PrettyPrinter {");
 		pStream.println("  public void ASTNode.prettyPrint(String indent, PrintStream pStream) {");
-		pStream.println("    String childIndent = indent + \"  \";");
 		pStream.println("    for (int i=0; i<getNumChild(); i++) {");
-		pStream.println("      getChild(i).prettyPrint(childIndent,pStream);");
+		pStream.println("      getChild(i).prettyPrint(indent,pStream);");
 		pStream.println("    }");
 		pStream.println("  }\n");
 		super.genPrettyPrinter(ind,pStream);
@@ -139,8 +138,9 @@ aspect GenPrettyPrinter {
 // 			getAttribute(i).genPrettyPrinter(ind,pStream);
 // 		}
 		pStream.println(">\");");
+		pStream.println("    String childIndent = indent + \"  \";");
 		pStream.println("    for (int i=0; i<getNumElement(); i++) {");
-		pStream.println("      getElement(i).prettyPrint(indent,pStream);");
+		pStream.println("      getElement(i).prettyPrint(childIndent,pStream);");
 		pStream.println("    }");
 		pStream.println("    System.out.println(indent+\"</"+name()+">\");");
 		pStream.println("}\n");