From e9a718a868dde0c1eca7f1e388444b9c5e88f8fa Mon Sep 17 00:00:00 2001 From: Tom Barthe Date: Wed, 23 Dec 2020 06:08:30 +0100 Subject: [PATCH] Fix formatting issue for Easync in hept_printer.ml --- compiler/heptagon/hept_printer.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/compiler/heptagon/hept_printer.ml b/compiler/heptagon/hept_printer.ml index ba1ff62..9386983 100644 --- a/compiler/heptagon/hept_printer.ml +++ b/compiler/heptagon/hept_printer.ml @@ -207,7 +207,8 @@ and print_app ff (app, args) = fprintf ff "@[%a@,%a@,%a@]" print_qualname f print_params app.a_params print_exp_tuple args | Easync (f, ack) -> - fprintf ff "@[async@,%a@,%a@,%a@,on@,%s@,%a@]" + print_stateful ff true; + fprintf ff "@[async %a@,%a@,%a on %s@,%a@]" print_qualname f print_params app.a_params print_exp_tuple args