From 86671ef183faa0ff4731d06d69349689fa4c084c Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 21 Dec 2005 14:02:20 +0000
Subject: [PATCH] no more "completed in ."

---
 helm/matita/matitacLib.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml
index 73a4d668f..47447e49e 100644
--- a/helm/matita/matitacLib.ml
+++ b/helm/matita/matitacLib.ml
@@ -180,9 +180,7 @@ let main ~mode =
      with End_of_file -> ());
     let elapsed = Unix.time () -. time in
     let tm = Unix.gmtime elapsed in
-    let sec = 
-      if tm.Unix.tm_sec > 0 then (string_of_int tm.Unix.tm_sec ^ "''") else "" 
-    in
+    let sec = string_of_int tm.Unix.tm_sec ^ "''" in
     let min = 
       if tm.Unix.tm_min > 0 then (string_of_int tm.Unix.tm_min ^ "' ") else "" 
     in
-- 
2.39.2