Maybe fixed bug in internalisation.

1 files changed, 3 insertions, 3 deletions

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