diff --git a/library/cadbiom/models/clause_constraints/mcl/CLUnfolder.py b/library/cadbiom/models/clause_constraints/mcl/CLUnfolder.py index bc98ddd2535c851f7aa1959ebbf10e469dea2835..08e1c132a32a5fa005ca8744c7deee8ee96ca114 100644 --- a/library/cadbiom/models/clause_constraints/mcl/CLUnfolder.py +++ b/library/cadbiom/models/clause_constraints/mcl/CLUnfolder.py @@ -469,7 +469,7 @@ class CLUnfolder(object): @property def final_constraints(self): """For tests: returns coded final constraints""" - self.__final_constraints + return self.__final_constraints ## Variables management #################################################### def var_names_in_clause(self, clause):