From a7f3dafd810576b0141517cd07c0bd852607a25a Mon Sep 17 00:00:00 2001 From: notoria Date: Sun, 19 Apr 2020 23:26:16 +0200 Subject: [PATCH] Undo a workaround --- 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 b0d4300a..1a564959 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.0 -> + ( T < 0 -> throw(domain_error(not_less_than_zero, T)) ; T > 0xfffffffffffffbff -> throw(domain_error(not_great_than_0xfffffffffffffbff, T)) -- 2.54.0