Commit 57e85c7b authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[gui] Fix to handle MCLAnalyser change: mac_search is a generator now

parent e3f63e7f
......@@ -367,8 +367,8 @@ class OccurenceForm(object):
if ask:
query = MCLSimpleQuery(self.start_prop,
self.inv_prop, self.property)
mac_list = self.mcla.mac_search(query, self.max_step)
if len(mac_list)==0 :
mac_list = tuple(self.mcla.mac_search(query, self.max_step))
if not mac_list:
ok_warn("The solver could not find a MAC," +
"\n you should refine your query")
else :
......
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