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

Undo a workaround
---

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