From: Markus Triska <triska@metalevel.at>
Date: Tue, 28 Apr 2020 15:35:53 +0000 (+0200)
Subject: small typographic corrections
X-Git-Tag: v0.8.123~100^2^2~5
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2696fd1291c7a78733b76bca470f7d560fbffb4c;p=scryer-prolog.git

small typographic corrections
---

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