Commit c5a67f5b authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[lib] Sync changes of attributes of CLDynSys

parent f48132c1
......@@ -463,9 +463,9 @@ class GT2Clauses(object):
self.cl_ds.add_var(node.name)
# frontier - registered for solution extraction
if is_frontier(node):
self.cl_ds.frontier.append(node.name)
self.cl_ds.frontiers.append(node.name)
else:
self.cl_ds.no_frontier.append(node.name)
self.cl_ds.no_frontiers.append(node.name)
gen_simple_evolution(node, self.cl_ds, self.sub_exp, self.reporter)
return
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment