1 files changed, 2 insertions, 2 deletions
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);