aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/rules/Program.java
diff options
context:
space:
mode:
authorRncLsn <rnc.lsn@gmail.com>2015-06-16 15:54:53 +0100
committerRncLsn <rnc.lsn@gmail.com>2015-06-16 15:54:53 +0100
commit7cd962751db2a88f426b8b9d7b9dd0d76e2cc1b5 (patch)
treea271283211f9a156e7cb04f578a94a3ca5d0d0f7 /src/uk/ac/ox/cs/pagoda/rules/Program.java
parent3a276b7c7836e56a171ab753b018913ce022ba8e (diff)
downloadACQuA-7cd962751db2a88f426b8b9d7b9dd0d76e2cc1b5.tar.gz
ACQuA-7cd962751db2a88f426b8b9d7b9dd0d76e2cc1b5.zip
Maybe fixed bug in internalisation.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules/Program.java')
-rw-r--r--src/uk/ac/ox/cs/pagoda/rules/Program.java2
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 afc32d4..85000e3 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/Program.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/Program.java
@@ -119,7 +119,7 @@ protected PredicateDependency dependencyGraph;
119 } catch(IOException e) { 119 } catch(IOException e) {
120 e.printStackTrace(); 120 e.printStackTrace();
121 } 121 }
122 Utility.logDebug("The rules are saved in " + getOutputPath() + "."); 122 Utility.logInfo("The rules are saved in " + getOutputPath() + ".");
123 } 123 }
124 124
125 @Override 125 @Override