summaryrefslogtreecommitdiff
path: root/Typecheck.java
diff options
context:
space:
mode:
authorbd-912 <bdunahu@colostate.edu>2024-03-25 13:05:34 -0600
committerbd-912 <bdunahu@colostate.edu>2024-03-25 13:05:34 -0600
commitb16ddfd5d0bc48b66123352827979e242fcd6bfc (patch)
tree094dc879c33608c94c47d03ec3e8df37962a5274 /Typecheck.java
parent762acb336997d43e15d64ff591103614abe4806f (diff)
Funnel all debug print statements into designated print filter
Diffstat (limited to 'Typecheck.java')
-rw-r--r--Typecheck.java2
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.