src/Tools/Code/code_printer.ML

     else p
   end;
 
 fun gen_applify strict opn cls f fxy_ctxt p [] =
       if strict
-      then gen_brackify (fixity BR fxy_ctxt) [p, str "()"]
+      then gen_brackify (fixity BR fxy_ctxt) [p, str (opn ^ cls)]
       else p
   | gen_applify strict opn cls f fxy_ctxt p ps =
       gen_brackify (fixity BR fxy_ctxt) (p @@ enum "," opn cls (map f ps));
 
 fun applify opn = gen_applify false opn;