From 8f9c620a89e4c7aaf6f6e474d57b5aba0a9f0af6 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 24 Feb 2019 13:12:46 -0700 Subject: [PATCH] remove redundancy positivity check in repeat/1 --- src/prolog/lib/between.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 2.54.0