Most warnings turned into errors and avoided

[helm.git] / matita / components / logger / helmLogger.ml

diff --git a/matita/components/logger/helmLogger.ml b/matita/components/logger/helmLogger.ml
index c41674754fea271f1f9d6d38a3913089fa8bb599..467c05464457fc56b8658e11dc9a9e4c5e6b50c3 100644 (file)
--- a/matita/components/logger/helmLogger.ml
+++ b/matita/components/logger/helmLogger.ml
@@ -15,7 +15,7 @@ type html_msg = [ `Error of html_tag | `Msg of html_tag ]
 
 type logger_fun = ?append_NL:bool -> html_msg -> unit
 
-let rec string_of_html_tag =
+let string_of_html_tag =
   let rec aux indent =
     let indent_str = String.make indent ' ' in
     function