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