From e1177de402bdb6bdbd54a70d435a4ccc815d1a8a Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Wed, 1 Jul 2020 16:40:12 +0200 Subject: [PATCH] fix bad error PP that can appear in tests --- src/passes/13-stacking/errors.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/passes/13-stacking/errors.ml b/src/passes/13-stacking/errors.ml index f6fe0a84b..14030d770 100644 --- a/src/passes/13-stacking/errors.ml +++ b/src/passes/13-stacking/errors.ml @@ -59,7 +59,7 @@ let rec error_ppformat : display_format:string display_format -> Format.pp_print_string f s ; | `Stacking_expression_tracer (e,ty,err) -> Format.fprintf f - "@[compiling expression@%a of type %a@%a]" + "@[compiling expression %a@ of type %a@ %a]" Mini_c.PP.expression e Mini_c.PP.type_variable ty (error_ppformat ~display_format) err