X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fextlib%2FhExtlib.mli;h=30a6f145f11e22b0ad371d728182971d80cb5892;hb=3dccb88099c632e5ee74c866d8449771c9d2418b;hp=73450ae11c62f7d860dcc9dface21a796767e132;hpb=5c1b44dfefa085fbb56e23047652d3650be9d855;p=helm.git

diff --git a/helm/software/components/extlib/hExtlib.mli b/helm/software/components/extlib/hExtlib.mli
index 73450ae11..30a6f145f 100644
--- a/helm/software/components/extlib/hExtlib.mli
+++ b/helm/software/components/extlib/hExtlib.mli
@@ -129,3 +129,5 @@ val estimate_size: 'a -> int
 val is_prefix_of: string -> string -> bool
 val chop_prefix: string -> string -> string
 val touch: string -> unit
+
+val profiling_enabled: bool ref