Commit 1c03b5a5 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[lib] CLUnfolder: Fix getter that return nothing

parent 546df638
......@@ -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):
......
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