From e02ad77cefc3005e36ae48fe47bf7914007f094a Mon Sep 17 00:00:00 2001 From: yzhou Date: Fri, 22 May 2015 05:17:31 +0100 Subject: turned on the LOG switch in Utility added a tracking rule for inequality in TrackingRuleEncoderWithGap added a testcase in ClauseTester --- src/uk/ac/ox/cs/pagoda/util/Utility.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/uk/ac/ox/cs/pagoda/util/Utility.java') diff --git a/src/uk/ac/ox/cs/pagoda/util/Utility.java b/src/uk/ac/ox/cs/pagoda/util/Utility.java index cb05de4..0edfac2 100644 --- a/src/uk/ac/ox/cs/pagoda/util/Utility.java +++ b/src/uk/ac/ox/cs/pagoda/util/Utility.java @@ -26,7 +26,7 @@ import org.semanticweb.HermiT.model.Atom; public class Utility { - private static final Logger LOGS = null; // Logger.getLogger(""); + private static final Logger LOGS = Logger.getLogger(""); // null; // public static final String JAVA_FILE_SEPARATOR = "/"; public static final String FILE_SEPARATOR = System.getProperty("file.separator"); -- cgit v1.2.3