diff options
| author | Gabriel Kerneis | 2013-10-10 17:15:00 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-10-10 17:16:24 +0100 |
| commit | 0933b8ccc06a067f8772b70f1bacc8b58097843b (patch) | |
| tree | b38483511a962778abe87ab0c31eaaef3432ab3b /src/pretty_print.ml | |
| parent | 958fd3250698a638baf15948a72f870a74b1dd11 (diff) | |
Fix fundecl and block Lem pretty-printing
Diffstat (limited to 'src/pretty_print.ml')
| -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 ")" |