# HG changeset patch
# User wenzelm
# Date 974036170 -3600
# Node ID 9ef2f60ebde542cb183f7f1a3b931e1f812c3063
# Parent  ad91d022ab4cfd1010ead838288f1837532604a0
removed junk;

diff -r ad91d022ab4c -r 9ef2f60ebde5 src/Pure/Syntax/syntax.ML
--- 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;