diff options
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules/Program.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/rules/Program.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/rules/Program.java b/src/uk/ac/ox/cs/pagoda/rules/Program.java index 4e147bb..afc32d4 100644 --- a/src/uk/ac/ox/cs/pagoda/rules/Program.java +++ b/src/uk/ac/ox/cs/pagoda/rules/Program.java | |||
| @@ -106,7 +106,7 @@ protected PredicateDependency dependencyGraph; | |||
| 106 | clauses.addAll(botStrategy.process(botRelated)); | 106 | clauses.addAll(botStrategy.process(botRelated)); |
| 107 | 107 | ||
| 108 | if(this instanceof GeneralProgram) | 108 | if(this instanceof GeneralProgram) |
| 109 | Utility.logInfo("The number of rules: " + (clauses.size() - 1)); | 109 | Utility.logDebug("The number of rules: " + (clauses.size() - 1)); |
| 110 | } | 110 | } |
| 111 | 111 | ||
| 112 | @Override | 112 | @Override |
