X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Futf8_macros%2Fpa_unicode_macro.ml;h=d14401f84e899603daef01fa5968c6c678e98256;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=88ba8b5a8f97f044e494a4a652687c2dcf25c389;hpb=708d2e2da7e5cfae98d69b325db56960e33fd38f;p=helm.git

diff --git a/helm/ocaml/utf8_macros/pa_unicode_macro.ml b/helm/ocaml/utf8_macros/pa_unicode_macro.ml
index 88ba8b5a8..d14401f84 100644
--- a/helm/ocaml/utf8_macros/pa_unicode_macro.ml
+++ b/helm/ocaml/utf8_macros/pa_unicode_macro.ml
@@ -24,7 +24,7 @@
  *)
 
 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)
 
 let loc =
   let dummy_pos =
@@ -34,7 +34,7 @@ let loc =
   (dummy_pos, dummy_pos)
 
 let expand_unicode_macro macro =
-  debug_print (Printf.sprintf "Expanding macro '%s' ..." macro);
+  debug_print (lazy (Printf.sprintf "Expanding macro '%s' ..." macro));
   let expansion = Utf8Macro.expand macro in
   <:expr< $str:expansion$ >>
 
@@ -53,7 +53,7 @@ EXTEND
           (String.sub q 0 pos,
            String.sub q (pos + 1) (String.length q - pos - 1))
         in
-        debug_print (Printf.sprintf "QUOTATION = %s; ARG = %s" quotation arg);
+        debug_print (lazy (Printf.sprintf "QUOTATION = %s; ARG = %s" quotation arg));
         if quotation = "unicode" then
           let text = TXtok (loc, x, expand_unicode_macro arg) in
           {used = []; text = text; styp = STlid (loc, "string")}