removed no_inconcl_aux, no_concl_hyp, no_hyp and added count

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

diff --git a/helm/ocaml/metadata/test.ml b/helm/ocaml/metadata/test.ml
index 43b29e4b6cc671087e56ef6cc35e4cdb2362cfd6..a7040e6598c14d9cc643f8229fda0ba8da3bbcd5 100644 (file)
--- 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