Commit a82670de authored by Raphael Rieu-Helft's avatar Raphael Rieu-Helft

C extraction: cosmetic

parent 09a173bc
......@@ -412,7 +412,10 @@ module Print = struct
let clear_local_printer () = Ident.forget_all local_printer
let protect_on x s = if x then "(" ^^ s ^^ ")" else s
let protect_on ?(boxed=false) x s =
if x then "@[<1>(" ^^ s ^^ ")@]"
else if not boxed then "@[" ^^ s ^^ "@]"
else s
let extract_stars ty =
let rec aux acc = function
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment