diff --git a/planning.py b/planning.py index 9d3c01bff..4bfa1d71a 100644 --- a/planning.py +++ b/planning.py @@ -60,7 +60,7 @@ def __call__(self, kb, args): return self.act(kb, args) def substitute(self, e, args): - """Replaces variables in expression with their respective Propostional symbol""" + """Replaces variables in expression with their respective Propositional symbol""" new_args = list(e.args) for num, x in enumerate(e.args): for i in range(len(self.args)):