--- a/src/Pure/ML/ml_process.scala Fri Sep 29 17:41:39 2017 +0200
+++ b/src/Pure/ML/ml_process.scala Fri Sep 29 20:49:42 2017 +0200
@@ -103,7 +103,7 @@
ML_Syntax.print_list(ML_Syntax.print_string)(list)
List("Resources.init_session_base" +
" {global_theories = " + print_table(base.global_theories.toList) +
- ", loaded_theories = " + print_list(base.loaded_theories.toList) +
+ ", loaded_theories = " + print_list(base.loaded_theories.keys) +
", known_theories = " + print_table(base.dest_known_theories) + "}")
}