Commit 3561f544 authored by BECKER Benedikt's avatar BECKER Benedikt

Fix printing of labels

parent 36e34d00
......@@ -432,7 +432,7 @@ and pp_expr fmt e = match e.expr_desc with
| Escope (qid, e) ->
pp_scope pp_expr fmt qid e
| Elabel (id, e) ->
fprintf fmt "label %a in %a" pp_id id pp_expr e
fprintf fmt "@[<hv 2>label %a in@ %a@]" pp_id id pp_expr e
| Ecast (e, pty) ->
pp_cast pp_expr fmt e pty
| Eghost e ->
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