From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 24 Mar 2006 17:57:58 +0000 (+0000)
Subject: % forgot in the output
X-Git-Tag: 0.4.95@7852~1562
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=21f321a2d0aceb876dbb72639442e55a6215b480;p=helm.git

% forgot in the output
---

diff --git a/components/binaries/utilities/test_library.ml b/components/binaries/utilities/test_library.ml
index 1947919ae..7768b6f45 100644
--- a/components/binaries/utilities/test_library.ml
+++ b/components/binaries/utilities/test_library.ml
@@ -43,7 +43,7 @@ let _ =
     Printf.printf "%s\n" separator;
     Printf.printf "Total: %.2f\n" !new_total;
     if !old_total <> 0.0 then
-     Printf.printf "Old: %.2f (%.2f)\n" !old_total (perc !new_total !old_total))
+     Printf.printf "Old: %.2f (%.2f%%)\n" !old_total (perc !new_total !old_total))
 ;;
 
 let urifname =