X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Flogger%2FhelmLogger.ml;h=467c05464457fc56b8658e11dc9a9e4c5e6b50c3;hb=3df31c02806eca83c63c14e6a89844f764c3e2cb;hp=c41674754fea271f1f9d6d38a3913089fa8bb599;hpb=e2718488c73b2cdf20b26af46e80a11b91fac220;p=helm.git

diff --git a/matita/components/logger/helmLogger.ml b/matita/components/logger/helmLogger.ml
index c41674754..467c05464 100644
--- 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