From 2696fd1291c7a78733b76bca470f7d560fbffb4c Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Tue, 28 Apr 2020 17:35:53 +0200 Subject: [PATCH] small typographic corrections --- 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 6fd68517..ccf45bdf 100644 --- a/src/prolog/lib/time.pl +++ b/src/prolog/lib/time.pl @@ -6,7 +6,7 @@ Reasoning about time stamps would be a useful addition, for example by obtaining the current time, comparing and formatting it. - '$cpu_new' can be replaced by statistics/2 once that is implemented. + '$cpu_now' can be replaced by statistics/2 once that is implemented. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ :- module(time, [max_sleep_time/1, sleep/1, time/1]). @@ -22,7 +22,7 @@ sleep(T) :- ( T < 0 -> domain_error(not_less_than_zero, T, sleep/1) ; max_sleep_time(N), T > N -> - throw(error(reprensentation_error(max_sleep_time), sleep/1)) + throw(error(representation_error(max_sleep_time), sleep/1)) ; '$sleep'(T) ). -- 2.54.0