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=a7040e6598c14d9cc643f8229fda0ba8da3bbcd5;hb=6fa3218efdfca5dd28fee2ef7a8c5e8de67ce829;hp=43b29e4b6cc671087e56ef6cc35e4cdb2362cfd6;hpb=d450cacb49707a71fe93489a1bf64db4689612d6;p=helm.git

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