From bd601eee839c2631dc25a2da182e5410f1fe113a Mon Sep 17 00:00:00 2001 From: Gerard Canal Date: Fri, 28 Jul 2023 19:53:52 +0100 Subject: [PATCH] Fix typo in goal descriptor repr --- pddl/goal_descriptor.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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