Small changes.

1 files changed, 6 insertions, 2 deletions

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) {