From cb6309d370b3d68030fb651fdaaf8cd524e20234 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 5 Dec 2021 00:56:16 +0100 Subject: [PATCH] walltime --> CPU time --- src/lib/time.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/lib/time.pl b/src/lib/time.pl index 1ed3c9d0..6e3aa73d 100644 --- a/src/lib/time.pl +++ b/src/lib/time.pl @@ -1,5 +1,5 @@ /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Written 2020 by Markus Triska (triska@metalevel.at) + Written 2020, 2021 by Markus Triska (triska@metalevel.at) 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)), -- 2.54.0