diff options
| -rw-r--r-- | src/pretty_print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 917a469f..c85cafb3 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -495,7 +495,7 @@ let rec pp_lem_let ppf (LB_aux(lb,_)) = and pp_lem_exp ppf (E_aux(e,_)) = match e with - | E_block(exps) -> fprintf ppf "@[<0>%a [%a@] %a@]" + | E_block(exps) -> fprintf ppf "@[<0>%a [%a] %a@]" kwd "(E_block" (list_pp pp_semi_lem_exp pp_lem_exp) exps kwd ")" |