Most warnings turned into errors and avoided

[helm.git] / matita / components / extlib / hLog.ml

diff --git a/matita/components/extlib/hLog.ml b/matita/components/extlib/hLog.ml
index 4ad2b5ba4804c0a02ab1896c6bc4515418248cb4..74cacb408896d943d8c52ea5c70604aefdb32435 100644 (file)
--- 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