From: Markus Triska <triska@metalevel.at>
Date: Sat, 22 Jul 2023 04:52:29 +0000 (+0200)
Subject: remove another !/0 which is now no longer necessary due to improved indexing
X-Git-Tag: v0.9.2~32^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=554e956ef50f34a6ee73124db8b7392c68e31325;p=scryer-prolog.git

remove another !/0 which is now no longer necessary due to improved indexing
---

diff --git a/src/lib/lists.pl b/src/lib/lists.pl
index f1b7cdd5..3d1cc6a2 100644
--- a/src/lib/lists.pl
+++ b/src/lib/lists.pl
@@ -426,7 +426,6 @@ nth1(N, Es0, E) :-
 
 skipn(N0, Es0,Es, Xs0,Xs) :-
    N0>0,
-   !, % should not be necessary #1028
    N1 is N0-1,
    Es0 = [E|Es1],
    Xs0 = [E|Xs1],