Fix formatting issue for Easync in hept_printer.ml

3 years ago · e9a718a868
parent fbad83a61d
commit e9a718a868
1 changed files with 2 additions and 1 deletions
--- 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