X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Flogger%2FhelmLogger.ml;h=467c05464457fc56b8658e11dc9a9e4c5e6b50c3;hb=a19551fd50df93951d78eea4c163d434f844047c;hp=c41674754fea271f1f9d6d38a3913089fa8bb599;hpb=2c01ff6094173915e7023076ea48b5804dca7778;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