Commit bd7a731b authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

pgm_pretty: missing format box

parent 40c581c4
......@@ -52,7 +52,7 @@ let rec print_expr fmt e = match e.expr_desc with
fprintf fmt "absurd"
and print_pv fmt v =
fprintf fmt "<%s : %a/%a>"
fprintf fmt "<@[%s : %a/%a@]>"
v.pv_name.id_string print_ty v.pv_ty print_vs v.pv_vs
and print_triple fmt (p, e, q) =
Supports Markdown
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