X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicEnvironment.mli;h=6108467b5124b079f659477810e658e92b2868f9;hb=aca103d3c3d740efcc0bcc2932922cff77facb49;hp=ce6a7f225d436a18aad45711e9224cd5628a77de;hpb=0575a1cb077087970f311b48f2e45dc4a01a6867;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.mli b/helm/ocaml/cic_proof_checking/cicEnvironment.mli
index ce6a7f225..6108467b5 100644
--- a/helm/ocaml/cic_proof_checking/cicEnvironment.mli
+++ b/helm/ocaml/cic_proof_checking/cicEnvironment.mli
@@ -126,4 +126,7 @@ val list_uri: unit -> UriManager.uri list
   (** @return true for objects available in the library *)
 val in_library: UriManager.uri -> bool
 
+  (** total parsing time, only to benchmark the parser *)
+val total_parsing_time: float ref
+
 (* EOF *)