X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fextlib%2FhLog.ml;h=74cacb408896d943d8c52ea5c70604aefdb32435;hb=3df31c02806eca83c63c14e6a89844f764c3e2cb;hp=4ad2b5ba4804c0a02ab1896c6bc4515418248cb4;hpb=e2718488c73b2cdf20b26af46e80a11b91fac220;p=helm.git

diff --git a/matita/components/extlib/hLog.ml b/matita/components/extlib/hLog.ml
index 4ad2b5ba4..74cacb408 100644
--- a/matita/components/extlib/hLog.ml
+++ b/matita/components/extlib/hLog.ml
@@ -25,8 +25,6 @@
 
 (* $Id$ *)
 
-open Printf
-
 type log_tag = [ `Debug | `Error | `Message | `Warning ]
 type log_callback = log_tag -> string -> unit