*)
let debug = false
-let debug_print = if debug then prerr_endline else ignore
+let debug_print s = if debug then prerr_endline s
let loc = (0, 0)
let expand_unicode_macro macro =
debug_print (Printf.sprintf "Expanding macro '%s' ..." macro);
- let expansion = Macro.expand macro in
+ let expansion = CicTextualParser2Macro.expand macro in
<:expr< $str:expansion$ >>
let _ =