From: Mark <markjordanthom@gmail.com>
Date: Fri, 21 Jul 2023 17:35:57 +0000 (-0600)
Subject: remove now unnecessary cut in lists.pl
X-Git-Tag: v0.9.2~34
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f310ff24a5dd9189ba5f1e685499d41cf4e5297d;p=scryer-prolog.git

remove now unnecessary cut in lists.pl
---

diff --git a/src/lib/lists.pl b/src/lib/lists.pl
index 8a94ed6a..f1b7cdd5 100644
--- 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).