]> matita.cs.unibo.it Git - helm.git/commitdiff
% forgot in the output
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Mar 2006 17:57:58 +0000 (17:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Mar 2006 17:57:58 +0000 (17:57 +0000)
components/binaries/utilities/test_library.ml

index 1947919aedca4896af2c7893c3b12f926141098c..7768b6f455c40c20b823d66195791ab6c9ec6811 100644 (file)
@@ -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 =