diff options
author | bd-912 <bdunahu@colostate.edu> | 2024-03-25 13:05:34 -0600 |
---|---|---|
committer | bd-912 <bdunahu@colostate.edu> | 2024-03-25 13:05:34 -0600 |
commit | b16ddfd5d0bc48b66123352827979e242fcd6bfc (patch) | |
tree | 094dc879c33608c94c47d03ec3e8df37962a5274 /Typecheck.java | |
parent | 762acb336997d43e15d64ff591103614abe4806f (diff) |
Funnel all debug print statements into designated print filter
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. |