*** 122,131 **** --- 122,135 ---- public static boolean isUseSimplifier() { return getBoolean("prism.marlin.useSimplifier", "false"); } + public static boolean isDoClip() { + return getBoolean("prism.marlin.clip", "true"); + } + // debugging parameters public static boolean isDoStats() { return getBoolean("prism.marlin.doStats", "false"); }