From e188aa3f962df621fc49097418959c7d00ce9969 Mon Sep 17 00:00:00 2001
From: bd-912 <bdunahu@colostate.edu>
Date: Fri, 19 Apr 2024 19:36:03 -0600
Subject: Global PrintFilter -> MinimalLogger

---
 Typecheck.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Typecheck.java')

diff --git a/Typecheck.java b/Typecheck.java
index 4c43709..755ce36 100644
--- a/Typecheck.java
+++ b/Typecheck.java
@@ -17,14 +17,14 @@ public class Typecheck {
             // GJDepthFirst<R,A>. R=Void, A=String.
             PPrinter<Void,String> pp = new PPrinter<Void,String>();
             root.accept(pp, "");
-            PrintFilter.print("===================================================", true);
+            MinimalLogger.info("===================================================");
 
             // Build the symbol table. Top-down visitor, inherits from
             // GJDepthFirst<R,A>. R=Void, A=Integer.
             SymbolTable symt = new SymbolTable();
             root.accept(new SymTableBottomUp<Void>(), symt);
             root.accept(new SymTableTopDown<Void>(), symt);
-            PrintFilter.print("===================================================", true);
+            MinimalLogger.info("===================================================");
 
             TypeCheckSimp ts = new TypeCheckSimp();
             TypeInstance res = root.accept(ts, symt);
-- 
cgit v1.2.3