From 0145665ab4746d68be09529bf6516eab26a50f72 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 29 Apr 2005 12:09:33 +0000
Subject: [PATCH] fixed a typo

---
 helm/ocaml/metadata/test.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
 
-- 
2.39.2