From 6d7612ead68efba82f698f1f70172fa3d1acd701 Mon Sep 17 00:00:00 2001 From: notoria Date: Mon, 20 Apr 2020 16:34:56 +0200 Subject: [PATCH] Corrected the error being thrown by sleep/1 --- src/prolog/lib/time.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/prolog/lib/time.pl b/src/prolog/lib/time.pl index 4d9442a0..2c2b67c1 100644 --- a/src/prolog/lib/time.pl +++ b/src/prolog/lib/time.pl @@ -19,9 +19,9 @@ max_sleep_time(0xfffffffffffffbff). sleep(T) :- builtins:must_be_number(T, sleep), ( T < 0 -> - throw(domain_error(not_less_than_zero, T)) + throw(error(domain_error(not_less_than_zero, T), sleep/1)) ; max_sleep_time(N), T > N -> - throw(error(reprensentation_error(max_sleep_time), abolish/1)) + throw(error(reprensentation_error(max_sleep_time), sleep/1)) ; '$sleep'(T) ). -- 2.54.0