remove now unnecessary cut in lists.pl

triska · Jul 21, 2023 · f310ff2 · f310ff2
1 parent e529e7b
commit f310ff2
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/lib/lists.pl b/src/lib/lists.pl
@@ -396,7 +396,6 @@
 
 skipn(N0, Es0,Es) :-
  N0>0,
- !, % should not be necessary #1028
  N1 is N0-1,
  Es0 = [_|Es1],
  skipn(N1, Es1,Es).