From dcdf7f8062919e5746b0b15c77ba8279d5f526c1 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Sun, 7 Jun 2015 14:06:20 +0100 Subject: Small changes. --- src/uk/ac/ox/cs/pagoda/util/PagodaProperties.java | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/util') diff --git a/src/uk/ac/ox/cs/pagoda/util/PagodaProperties.java b/src/uk/ac/ox/cs/pagoda/util/PagodaProperties.java index 2c53063..e501821 100644 --- a/src/uk/ac/ox/cs/pagoda/util/PagodaProperties.java +++ b/src/uk/ac/ox/cs/pagoda/util/PagodaProperties.java @@ -42,11 +42,15 @@ public class PagodaProperties { if(config.containsKey("useAlwaysSimpleUpperBound")) { defaultUseAlwaysSimpleUpperBound = Boolean.parseBoolean(config.getProperty("useAlwaysSimpleUpperBound")); - logger.info("The simple upper bound is always used"); + if(defaultUseAlwaysSimpleUpperBound) + logger.info("By default the simple upper bound is always used"); } if(config.containsKey("useSkolemUpperBound")) { defaultUseSkolemUpperBound = Boolean.parseBoolean(config.getProperty("useSkolemUpperBound")); - logger.info("The Skolem upper bound is enabled"); + if(defaultUseSkolemUpperBound) + logger.info("By default the Skolem upper bound is enabled"); + else + logger.info("By default the Skolem upper bound is disabled"); } } catch(IOException e) { -- cgit v1.2.3