From: Markus Triska <triska@metalevel.at>
Date: Wed, 24 Aug 2022 22:03:47 +0000 (+0200)
Subject: remove nth1/3, which is now provided by library(lists)
X-Git-Tag: v0.9.1^2~22
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7c96b916631ce599215d4a5f93042014b0438fac;p=scryer-prolog.git

remove nth1/3, which is now provided by library(lists)
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 6575a32d..46618032 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -7173,10 +7173,6 @@ contribution_at(T, Task, Offset-Bs, Contribution) :-
             ?(Contribution) #= B*C
         ).
 
-nth1(I, Es, E) :-
-        I0 is I-1,
-        nth0(I0, Es, E).
-
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 %% disjoint2(+Rectangles)