src/Pure/Syntax/printer.ML

--- a/src/Pure/Syntax/printer.ML	Wed Apr 06 18:36:28 2011 +0200
+++ b/src/Pure/Syntax/printer.ML	Wed Apr 06 21:55:41 2011 +0200
@@ -180,7 +180,7 @@
 
     (*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';