Updated comments

compiler/global/names.ml

@@ -93,8 +93,7 @@ open Format
 
 let print_name ff n =
   let n = if is_infix n
-  then "(" ^ (n ^ ")") (* do not remove the space around n, since for example
-                            "(*" would create bugs *)
+  then "(" ^ (n ^ ")") (* printers should have a special case to print '*' infix *)
   else n
   in fprintf ff "%s" n
 

compiler/heptagon/hept_printer.ml

@@ -167,6 +167,7 @@ and print_every ff reset =
 and print_app ff (app, args) =
   match app.a_op with
     | Etuple -> print_exp_tuple ff args
+    (* we need a special case for '*' and '*.' as printing (_*_) is incorrect *)
     | Efun { name = n } when (n = "*" or n = "*.") ->
       let a1, a2 = assert_2 args in
       fprintf ff "@[%a@, %s@, %a@]" print_exp a1  n  print_exp a2