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

2023-07-22 06:52:29 +02:00
parent cb79552dd0
commit 554e956ef5
1 changed files with 0 additions and 1 deletions
--- 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],