diff --git a/pddl/goal_descriptor.py b/pddl/goal_descriptor.py index f7538f6..0a9b2cd 100644 --- a/pddl/goal_descriptor.py +++ b/pddl/goal_descriptor.py @@ -153,7 +153,7 @@ def __init__(self, antecedent : GoalDescriptor, consequent : GoalDescriptor) -> self.consequent = consequent def __repr__(self) -> str: - return "(imples " + repr(self.antecedent) + " " + repr(self.consequent) + ")" + return "(imply " + repr(self.antecedent) + " " + repr(self.consequent) + ")" def copy(self) -> 'GoalDescriptor': return GoalImplication(self.antecedent.copy(), self.consequent.copy()) @@ -228,4 +228,4 @@ def bind_parameters(self, parameters : list[TypedParameter]) -> 'GoalDescriptor' def filter_goal_to_time_spec(self, time_spec : TimeSpec) -> 'GoalDescriptor': if time_spec == self.time_spec: return self - return None \ No newline at end of file + return None