fix cnfvar crash on end inside child vars

The recursive call to parse_cnf_children() may also return None
if it hit EOF.

diff --git a/src/cnfvar.py b/src/cnfvar.py
index 7ab5d93..483a96f 100644 (file)
--- a/src/cnfvar.py
+++ b/src/cnfvar.py
@@ -485,6 +485,8 @@ def parse_cnf_children(state, parent):
                 # parent is further down in hierarchy -> new level
                 (state, children, new_parent) = \
                     parse_cnf_children (state, new_parent)
+                if state is None:
+                    break
                 cnf_line["children"] = children
                 current = get(state)
                 new_parent = get_parent(current)