X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitacLib.ml;h=d4e67e7a0ae329de1a46613ceeea57f70ff0b12d;hb=b74ab91d1db4b1b88471fc47460b6be15a58b162;hp=844d4f5d854dd723ba1f3390d6b449674596608f;hpb=4e238c92f66aedf21c2d3a33aa5215cdf0a7189f;p=helm.git

diff --git a/helm/software/matita/matitacLib.ml b/helm/software/matita/matitacLib.ml
index 844d4f5d8..d4e67e7a0 100644
--- a/helm/software/matita/matitacLib.ml
+++ b/helm/software/matita/matitacLib.ml
@@ -173,7 +173,7 @@ let pp_times fname bench_mode rc big_bang =
         else 
           "matitac" 
       in
-      let rc = if rc then "OK" else "FAIL" in
+      let rc = if rc then "OK" else "FAIL" in
       let times = 
         let fmt t = 
           let seconds = int_of_float t in