diff --git a/planning.py b/planning.py
index 0eda86d3b..1ad91eaf3 100644
--- a/planning.py
+++ b/planning.py
@@ -32,7 +32,7 @@ def convert(self, clauses):
         try:
             clauses = conjuncts(clauses)
         except AttributeError:
-            clauses = clauses
+            pass
 
         new_clauses = []
         for clause in clauses: