X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Futf8_macros%2Fmake_table.ml;h=68309b1c444afd531142bacdc519a8d6f621a2ae;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=377fea64a243a61e52cd2984f03153ce23d4aa38;hpb=77f4040c3aae06baba4c9868e5126689b16527c4;p=helm.git

diff --git a/helm/ocaml/utf8_macros/make_table.ml b/helm/ocaml/utf8_macros/make_table.ml
index 377fea64a..68309b1c4 100644
--- a/helm/ocaml/utf8_macros/make_table.ml
+++ b/helm/ocaml/utf8_macros/make_table.ml
@@ -26,7 +26,7 @@
 open Printf
 
 let debug = false
-let debug_print s = if debug then prerr_endline s
+let debug_print s = if debug then prerr_endline (Lazy.force s)
 
   (* source files for tables xml parsing (if unmarshall=false) *)
 let xml_tables = [
@@ -63,7 +63,7 @@ let iter_dictionary_file  = iter_gen "entry" "name" "val"
 let parse_from_xml () =
   let (macro2utf8, utf82macro) = (Hashtbl.create 2000, Hashtbl.create 2000) in
   let add_macro macro utf8 =
-    debug_print (sprintf "Adding macro %s = '%s'" macro utf8);
+    debug_print (lazy (sprintf "Adding macro %s = '%s'" macro utf8));
     Hashtbl.replace macro2utf8 macro utf8;
     Hashtbl.replace utf82macro utf8 macro
   in