]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/utf8_macros/make_table.ml
ocaml 3.09 transition
[helm.git] / helm / ocaml / utf8_macros / make_table.ml
index 377fea64a243a61e52cd2984f03153ce23d4aa38..68309b1c444afd531142bacdc519a8d6f621a2ae 100644 (file)
@@ -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