src/Pure/ML/ml_process.scala
changeset 66717 67dbf5cdc056
parent 66712 4c98c929a12a
child 66781 dac4cfbfede8
     1.1 --- a/src/Pure/ML/ml_process.scala	Fri Sep 29 17:41:39 2017 +0200
     1.2 +++ b/src/Pure/ML/ml_process.scala	Fri Sep 29 20:49:42 2017 +0200
     1.3 @@ -103,7 +103,7 @@
     1.4              ML_Syntax.print_list(ML_Syntax.print_string)(list)
     1.5            List("Resources.init_session_base" +
     1.6              " {global_theories = " + print_table(base.global_theories.toList) +
     1.7 -            ", loaded_theories = " + print_list(base.loaded_theories.toList) +
     1.8 +            ", loaded_theories = " + print_list(base.loaded_theories.keys) +
     1.9              ", known_theories = " + print_table(base.dest_known_theories) + "}")
    1.10        }
    1.11