X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2Ftest.ml;fp=helm%2Focaml%2Fmetadata%2Ftest.ml;h=43b29e4b6cc671087e56ef6cc35e4cdb2362cfd6;hb=0145665ab4746d68be09529bf6516eab26a50f72;hp=0264681bc05f18005748ea0ea5d2dfb86504bbc9;hpb=2ce8229b8e02cef4697fcadb663698069727084a;p=helm.git

diff --git a/helm/ocaml/metadata/test.ml b/helm/ocaml/metadata/test.ml
index 0264681bc..43b29e4b6 100644
--- a/helm/ocaml/metadata/test.ml
+++ b/helm/ocaml/metadata/test.ml
@@ -39,6 +39,7 @@ end else
   with 
   | _ -> 
     prerr_endline 
-      ("total persing time " ^ (string_of_float !CicEnvironment.total_time)); 
+      ("total persing time " ^ 
+         (string_of_float !CicEnvironment.total_prasing_time)); 
     close_in ic