diff --git a/library/cadbiom/models/clause_constraints/mcl/TestCLUnfolder.py b/library/cadbiom/models/clause_constraints/mcl/TestCLUnfolder.py
index a335fa38b4519fb3e9cf2ba4ece3b21155123c74..ea729b51c6056b716c114cb767b4af0431d379f4 100644
--- a/library/cadbiom/models/clause_constraints/mcl/TestCLUnfolder.py
+++ b/library/cadbiom/models/clause_constraints/mcl/TestCLUnfolder.py
@@ -73,19 +73,6 @@ def string_to_clause(text_clause):
             clause.add_lit(Literal(spl[1], False))
     return clause
 
-def num_clause_equal(clause_1, clause_2):
-    """
-    test DIMACS clauses for equality
-    """
-    if len(clause_1) != len(clause_2):
-        return False
-    clause_1.sort()
-    clause_2.sort()
-    for i in range(len(clause_1)):
-        if clause_1[i] != clause_2[i]:
-            return False
-    return True
-
 def model1():
     """
     A simple ChartModel with two nodes and a transition
@@ -300,6 +287,7 @@ class TestCLUnfolder(unittest.TestCase):
         test forward initialization for various models and property
         """
         pass
+        # Dommage...