X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Futf8_macros%2Fmake_table.ml;fp=helm%2Focaml%2Futf8_macros%2Fmake_table.ml;h=68309b1c444afd531142bacdc519a8d6f621a2ae;hb=cfda0acfce3f5e0b843bfe2b7ba7c371e5690db0;hp=377fea64a243a61e52cd2984f03153ce23d4aa38;hpb=a93a94942ad58d8645af1fd94bef8fa31d9541a4;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