src/Pure/System/isabelle_process.ML

--- a/src/Pure/System/isabelle_process.ML	Mon Jun 05 23:55:58 2017 +0200
+++ b/src/Pure/System/isabelle_process.ML	Tue Jun 06 13:13:25 2017 +0200
@@ -188,7 +188,7 @@
 (* init protocol *)
 
 val default_modes1 = [Syntax_Trans.no_bracketsN, Syntax_Trans.no_type_bracketsN];
-val default_modes2 = [Symbol.xsymbolsN, isabelle_processN, Pretty.symbolicN];
+val default_modes2 = [isabelle_processN, Pretty.symbolicN];
 
 val init_protocol = Thread_Attributes.uninterruptible (fn _ => fn socket =>
   let