diff --git a/src/models/terms/Dependency.java b/src/models/terms/Dependency.java index 5972994..64088ce 100644 --- a/src/models/terms/Dependency.java +++ b/src/models/terms/Dependency.java @@ -66,7 +66,7 @@ public String toString() { StringBuilder sb = new StringBuilder(); if(dependency == null) { - sb.append(dependingTerm.toString()); + sb.append(dependingTerm.toTermString()); sb.append(" : "); sb.append(dependedVariable.toString()); } else {