remove same_length/2 from clpb.pl

diff --git a/src/prolog/lib/clpb.pl b/src/prolog/lib/clpb.pl
index 561a7ae427e271f773d663dda44d3184930c685e..46996e068da2a1fba8cc3a15746ee8907c9abdb2 100644 (file)
--- a/src/prolog/lib/clpb.pl
+++ b/src/prolog/lib/clpb.pl
@@ -674,10 +674,6 @@ existential(V, BDD, Node) :-
    Counter network for card(Is,Fs).
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
 
-same_length([], []).
-same_length([_|As], [_|Bs]) :-
-        same_length(As, Bs).
-
 counter_network(Cs, Fs, Node) :-
         same_length([_|Fs], Indicators),
         fill_indicators(Indicators, 0, Cs),