1 files changed, 6 insertions, 6 deletions
diff --git a/minijava/PPrinter.java b/minijava/PPrinter.java
index aed7ec4..9ffadf7 100644
--- a/minijava/PPrinter.java
+++ b/minijava/PPrinter.java
@@ -14,8 +14,8 @@ public class PPrinter<R,A> extends GJDepthFirst<R,A> {
 
     private void printNode(Node n, A argu) {
         for (int i=0; i < this.offset; ++i)
-            System.out.print(".");
-        System.out.println(n.getClass().getSimpleName());
+            Utilities.print_filter(".", false);
+        Utilities.print_filter(n.getClass().getSimpleName(), true);
         ++this.offset;
     }
 
@@ -726,10 +726,10 @@ public class PPrinter<R,A> extends GJDepthFirst<R,A> {
 
     public R visit(NodeToken n, A argu) {
         for (int i=0; i < this.offset; ++i)
-            System.out.print(".");
-        System.out.println(n.getClass().getSimpleName() +
-                           " => " +
-                           n.toString());
+            Utilities.print_filter(".", false);
+        Utilities.print_filter(n.getClass().getSimpleName() +
+                               " => " +
+                               n.toString(), true);
         R _ret=null;
         return _ret;
     }