--- a/src/Pure/ML/ml_process.scala Fri Apr 21 13:51:43 2017 +0200
+++ b/src/Pure/ML/ml_process.scala Fri Apr 21 14:09:03 2017 +0200
@@ -99,8 +99,8 @@
ML_Syntax.print_list(
ML_Syntax.print_pair(
ML_Syntax.print_string, ML_Syntax.print_string))(table)
- List("Resources.init_session_base {default_qualifier = \"\"" +
- ", global_theories = " + print_table(base.global_theories.toList) +
+ List("Resources.init_session_base" +
+ " {global_theories = " + print_table(base.global_theories.toList) +
", loaded_theories = " + print_table(base.loaded_theories.toList) +
", known_theories = " + print_table(base.dest_known_theories) + "}")
}