remove redundancy positivity check in repeat/1

diff --git a/src/prolog/lib/between.pl b/src/prolog/lib/between.pl
index 730e590ec3b4bb1b3615f717dbf61cbd1693d3f0..b54a4f04e578a6946013526083c56fde33b6269f 100644 (file)
--- a/src/prolog/lib/between.pl
+++ b/src/prolog/lib/between.pl
@@ -45,7 +45,7 @@ repeat_integer(N0) :-
     N0 > 0, N1 is N0 - 1, repeat_integer(N1).
 
 repeat(N) :-
-    must_be(integer, N), N > 0, repeat_integer(N).
+    must_be(integer, N), repeat_integer(N).
 
 numlist(Upper, List) :-
     (  integer(Upper) -> findall(X, between(1, Upper, X), List)