From fb38b4b906abe36dc5b2ca246d80555fc0c1ecdc Mon Sep 17 00:00:00 2001 From: notoria Date: Sun, 19 Apr 2020 23:04:51 +0200 Subject: [PATCH] Corrected bound --- src/prolog/lib/time.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/prolog/lib/time.pl b/src/prolog/lib/time.pl index 1a564959..b0d4300a 100644 --- a/src/prolog/lib/time.pl +++ b/src/prolog/lib/time.pl @@ -16,7 +16,7 @@ sleep(T) :- builtins:must_be_number(T, sleep), - ( T < 0 -> + ( T < 0.0 -> throw(domain_error(not_less_than_zero, T)) ; T > 0xfffffffffffffbff -> throw(domain_error(not_great_than_0xfffffffffffffbff, T)) -- 2.54.0