typecheck/library/Utilities.java


1
2
3
4
5
6
7
8
9
10
11
12
13
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();
        }
    }

}