From 1c03b5a52bb4aef9ee2e88ecf8a1ad94ab90c956 Mon Sep 17 00:00:00 2001
From: VIGNET Pierre <pierre.vignet@irisa.fr>
Date: Mon, 25 Nov 2019 02:50:25 +0100
Subject: [PATCH] [lib] CLUnfolder: Fix getter that return nothing
---
library/cadbiom/models/clause_constraints/mcl/CLUnfolder.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/library/cadbiom/models/clause_constraints/mcl/CLUnfolder.py b/library/cadbiom/models/clause_constraints/mcl/CLUnfolder.py
index bc98ddd..08e1c13 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):
--
GitLab