From 176c6ae3c549ff792589897ee175e0a9af8eb332 Mon Sep 17 00:00:00 2001 From: pmoura Date: Fri, 1 Feb 2008 16:50:28 +0000 Subject: [PATCH] Corrected a problem with the format/2 call in the definition of the new predicate time/1 for those cases where we print "Inf" instead of a number for the CPU percentage. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2074 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- pl/statistics.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pl/statistics.yap b/pl/statistics.yap index 5d36edd37..981f73d88 100644 --- a/pl/statistics.yap +++ b/pl/statistics.yap @@ -149,7 +149,7 @@ time(Goal) :- ), TimeSecs is Time/1000, WallSecs is Wall/1000, - format("% ~3f CPU in ~3f seconds (~|~t~d~3+% CPU)~n", [TimeSecs, WallSecs, CPU]), + format("% ~3f CPU in ~3f seconds (~|~t~w~3+% CPU)~n", [TimeSecs, WallSecs, CPU]), ( nonvar(E) -> throw(E) ; Result == yes