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

[lib] CLUnfolder: Fix error during the init of __invariant_constraints with...

[lib] CLUnfolder: Fix error during the init of __invariant_constraints with dimacs data from query: extend instead of append
parent 1c03b5a5
......@@ -1112,8 +1112,7 @@ class CLUnfolder(object):
if self.__dimacs_invariant:
# Add DIMACS aux clauses initial properties
## TODO: pas de append ? tester avec... => aucun changement, pas de test unitaire ici...
self.__invariant_constraints += self.__dimacs_invariant
self.__invariant_constraints.append(self.__dimacs_invariant)
def __init_variant_constraints_0(self):
"""Code variant constraints in a numerical clause.
......
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