remove now unnecessary cut in lists.pl

diff --git a/src/lib/lists.pl b/src/lib/lists.pl
index 8a94ed6ac942f4f0a5c70abd08a6455837d4cc8d..f1b7cdd5a7c5fb1b26c8e11bfc43785f462a77a8 100644 (file)
--- 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).