summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-05-26 14:51:39 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-05-26 14:51:39 +0200
commit319dd36dc3e2ff7788230532d3fef90cc57c98ca (patch)
tree7adfcf6cd675485ad9414344b2b9b6eb8a4005e7
parenta8325138b0d5be98923dab3014cffdf83a1da832 (diff)
downloadhastabel-319dd36dc3e2ff7788230532d3fef90cc57c98ca.zip
hastabel-319dd36dc3e2ff7788230532d3fef90cc57c98ca.tar.bz2
Fixes some toString...
-rw-r--r--src/hastabel/lang/Operator.java1
-rw-r--r--src/hastabel/lang/PredicateFormula.java2
2 files changed, 2 insertions, 1 deletions
diff --git a/src/hastabel/lang/Operator.java b/src/hastabel/lang/Operator.java
index f729ea9..163b64c 100644
--- a/src/hastabel/lang/Operator.java
+++ b/src/hastabel/lang/Operator.java
@@ -44,6 +44,7 @@ public enum Operator
return as_formula(params);
}
+ @Override
public String toString ()
{
switch (this)
diff --git a/src/hastabel/lang/PredicateFormula.java b/src/hastabel/lang/PredicateFormula.java
index 2658200..6001e75 100644
--- a/src/hastabel/lang/PredicateFormula.java
+++ b/src/hastabel/lang/PredicateFormula.java
@@ -63,7 +63,7 @@ public class PredicateFormula extends Formula
sb = new StringBuilder();
sb.append("(");
- sb.append(parent.toString());
+ sb.append(parent.get_name());
for (final Expression param: params)
{