From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 22 Feb 2020 00:21:15 +0000 (-0700)
Subject: remove same_length/2 from clpb.pl
X-Git-Tag: v0.8.119~76
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8f781c27f97b9291c0ab6c08f36d345afcc7b61f;p=scryer-prolog.git

remove same_length/2 from clpb.pl
---

diff --git a/src/prolog/lib/clpb.pl b/src/prolog/lib/clpb.pl
index 561a7ae4..46996e06 100644
--- 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),