src/Pure/Syntax/type_ext.ML

--- a/src/Pure/Syntax/type_ext.ML	Sat Apr 23 19:51:11 2005 +0200
+++ b/src/Pure/Syntax/type_ext.ML	Sat Apr 23 19:51:24 2005 +0200
@@ -220,7 +220,7 @@
    [],
    [],
    map SynExt.mk_trfun [("fun", fun_ast_tr')])
-  TokenTrans.token_translation
+  (map (fn s => ("", s, Output.output_width)) SynExt.standard_token_classes)
   ([], []);
 
 end;