test_instance.ma

[helm.git] / helm / ocaml / metadata / test.ml

diff --git a/helm/ocaml/metadata/test.ml b/helm/ocaml/metadata/test.ml
index 0264681bc05f18005748ea0ea5d2dfb86504bbc9..a7040e6598c14d9cc643f8229fda0ba8da3bbcd5 100644 (file)
--- 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_parsing_time)); 
     close_in ic