Commit 758a4444 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

fix typo

parent bb1917f8
......@@ -995,8 +995,9 @@ class CLUnfolder(object):
if self.__invariant_property and not self.__final_property :
while self.__current_step <= max_step:
self.shift()
l_rawsol = self.__msolve_constraints(max_sol, vvars)
return l_rawsol
# return l_rawsol
return self.__msolve_constraints(max_sol, vvars)
else : # reachability
l_rawsol = []
# check and correct for incoherent data on step number
......
Markdown is supported
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