From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 24 Feb 2019 20:12:46 +0000 (-0700)
Subject: remove redundancy positivity check in repeat/1
X-Git-Tag: v0.8.110~227
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8f9c620a89e4c7aaf6f6e474d57b5aba0a9f0af6;p=scryer-prolog.git

remove redundancy positivity check in repeat/1
---

diff --git a/src/prolog/lib/between.pl b/src/prolog/lib/between.pl
index 730e590e..b54a4f04 100644
--- 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)