1 files changed, 0 insertions, 14 deletions
diff --git a/typecheck/library/Utilities.java b/typecheck/library/Utilities.java
deleted file mode 100644
index fad1e7e..0000000
--- a/typecheck/library/Utilities.java
+++ /dev/null
@@ -1,14 +0,0 @@
-package typecheck.library;
-
-public class Utilities {
-
-    public static void print_filter(String message, boolean newline) {
-        boolean debug = false;
-        if (debug) {
-            System.out.print(message);
-            if (newline)
-                System.out.println();
-        }
-    }
-
-}