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

…ndexing
triska · Jul 22, 2023 · 554e956 · 554e956
1 parent cb79552
commit 554e956
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/lib/lists.pl b/src/lib/lists.pl
@@ -426,7 +426,6 @@
 
 skipn(N0, Es0,Es, Xs0,Xs) :-
  N0>0,
- !, % should not be necessary #1028
  N1 is N0-1,
  Es0 = [E|Es1],
  Xs0 = [E|Xs1],