remove now unnecessary cut in lists.pl

2023-07-21 11:35:57 -06:00
parent e529e7ba21
commit f310ff24a5
1 changed files with 0 additions and 1 deletions
--- a/src/lib/lists.pl
+++ b/src/lib/lists.pl
@@ -396,7 +396,6 @@ nth0(N, Es0, E) :-

 skipn(N0, Es0,Es) :-
   N0>0,
-   !, % should not be necessary #1028
   N1 is N0-1,
   Es0 = [_|Es1],
   skipn(N1, Es1,Es).