Corrected bound

This commit is contained in:
notoria
2020-04-19 23:04:51 +02:00
parent f0a1a90b0e
commit fb38b4b906

View File

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