src/Pure/Syntax/printer.ML

           then SOME (Pretty.str x) else NONE
       | SOME f => SOME (f ctxt x));
 
     (*default applications: prefix / postfix*)
     val appT =
-      if type_mode then Type_Ext.tappl_ast_tr'
+      if type_mode then Syn_Trans.tappl_ast_tr'
       else if curried then Syn_Trans.applC_ast_tr'
       else Syn_Trans.appl_ast_tr';
 
     fun synT _ ([], args) = ([], args)
       | synT markup (Arg p :: symbs, t :: args) =