removed junk;

--- a/src/Pure/Syntax/syntax.ML	Sun Nov 12 14:35:41 2000 +0100
+++ b/src/Pure/Syntax/syntax.ML	Sun Nov 12 14:36:10 2000 +0100
@@ -452,7 +452,6 @@
 
 (** pretty terms, typs, sorts **)
 
-val print_mode = print_mode;
 fun pretty_t t_to_ast prt_t (syn as Syntax tabs) curried t =
   let
     val {print_trtab, print_ruletab, print_ast_trtab, tokentrtab, prtabs, ...} = tabs;