diff options
Diffstat (limited to 'Typecheck.java')
| -rw-r--r-- | Typecheck.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Typecheck.java b/Typecheck.java index 6d202eb..548bf3e 100644 --- a/Typecheck.java +++ b/Typecheck.java @@ -16,7 +16,7 @@ public class Typecheck { // GJDepthFirst<R,A>. R=Void, A=String. PPrinter<Void,String> pp = new PPrinter<Void,String>(); root.accept(pp, ""); - System.out.println("==================================================="); + Utilities.print_filter("===================================================", true); // // Build the symbol table. Top-down visitor, inherits from // // GJDepthFirst<R,A>. R=Void, A=Integer. |