walltime --> CPU time

diff --git a/src/lib/time.pl b/src/lib/time.pl
index 1ed3c9d054166ca78c67be34b81b302e8dd806fa..6e3aa73d54a1152864dfc591279e1579fd3a1ecf 100644 (file)
--- a/src/lib/time.pl
+++ b/src/lib/time.pl
@@ -1,5 +1,5 @@
 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-   Written 2020 by Markus Triska ([email protected])
+   Written 2020, 2021 by Markus Triska ([email protected])
    Part of Scryer Prolog.
 
    This library provides predicates for reasoning about time.
@@ -109,7 +109,7 @@ time(Goal) :-
 time_true(ID) :-
         report_time(ID).
 time_true(ID)  :-
-        % on backtracking, update the stored walltime for this ID
+        % on backtracking, update the stored CPU time for this ID
         retract(time_state(ID, _)),
         '$cpu_now'(T0),
         asserta(time_state(ID, T0)),