From: notoria <notoria@users.noreply.github.com>
Date: Sun, 19 Apr 2020 21:04:51 +0000 (+0200)
Subject: Corrected bound
X-Git-Tag: v0.8.123~118^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=fb38b4b906abe36dc5b2ca246d80555fc0c1ecdc;p=scryer-prolog.git

Corrected bound
---

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))