1 files changed, 14 insertions, 0 deletions
diff --git a/typecheck/library/Utilities.java b/typecheck/library/Utilities.java
new file mode 100644
index 0000000..fad1e7e
--- /dev/null
+++ b/typecheck/library/Utilities.java
@@ -0,0 +1,14 @@
+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();
+        }
+    }
+
+}