From 319dd36dc3e2ff7788230532d3fef90cc57c98ca Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Sat, 26 May 2018 14:51:39 +0200
Subject: Fixes some toString...

---
 src/hastabel/lang/Operator.java         | 1 +
 src/hastabel/lang/PredicateFormula.java | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

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)
       {
-- 
cgit v1.2.3-70-g09d2