From 29eecb27c7f91de92b21bbd646d8b7a55e526833 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Tue, 16 Jun 2015 15:54:53 +0100 Subject: Maybe fixed bug in internalisation. --- src/uk/ac/ox/cs/pagoda/util/PagodaProperties.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/util/PagodaProperties.java') diff --git a/src/uk/ac/ox/cs/pagoda/util/PagodaProperties.java b/src/uk/ac/ox/cs/pagoda/util/PagodaProperties.java index e501821..4991d0d 100644 --- a/src/uk/ac/ox/cs/pagoda/util/PagodaProperties.java +++ b/src/uk/ac/ox/cs/pagoda/util/PagodaProperties.java @@ -43,14 +43,14 @@ public class PagodaProperties { defaultUseAlwaysSimpleUpperBound = Boolean.parseBoolean(config.getProperty("useAlwaysSimpleUpperBound")); if(defaultUseAlwaysSimpleUpperBound) - logger.info("By default the simple upper bound is always used"); + logger.debug("By default the simple upper bound is always used"); } if(config.containsKey("useSkolemUpperBound")) { defaultUseSkolemUpperBound = Boolean.parseBoolean(config.getProperty("useSkolemUpperBound")); if(defaultUseSkolemUpperBound) - logger.info("By default the Skolem upper bound is enabled"); + logger.debug("By default the Skolem upper bound is enabled"); else - logger.info("By default the Skolem upper bound is disabled"); + logger.debug("By default the Skolem upper bound is disabled"); } } catch(IOException e) { -- cgit v1.2.3