From 961cd13158f8456588c67b123f8915bc1c7c7d9f Mon Sep 17 00:00:00 2001 From: Pranjal Bhansali Date: Fri, 3 Mar 2017 15:48:48 +0530 Subject: [PATCH] Update planning.py --- planning.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)):