Undo a workaround

diff --git a/src/prolog/lib/time.pl b/src/prolog/lib/time.pl
index b0d4300a6e8e2ee27ae6166d3d4cadad0cfe9195..1a5649592ed1cfe21cd5ef1d2cb17a24316e466d 100644 (file)
--- 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))