src/Pure/ML/ml_process.scala
changeset 65532 febfd9f78bd4
parent 65478 7c40477e0a87
child 66712 4c98c929a12a
     1.1 --- a/src/Pure/ML/ml_process.scala	Fri Apr 21 13:51:43 2017 +0200
     1.2 +++ b/src/Pure/ML/ml_process.scala	Fri Apr 21 14:09:03 2017 +0200
     1.3 @@ -99,8 +99,8 @@
     1.4              ML_Syntax.print_list(
     1.5                ML_Syntax.print_pair(
     1.6                  ML_Syntax.print_string, ML_Syntax.print_string))(table)
     1.7 -          List("Resources.init_session_base {default_qualifier = \"\"" +
     1.8 -            ", global_theories = " + print_table(base.global_theories.toList) +
     1.9 +          List("Resources.init_session_base" +
    1.10 +            " {global_theories = " + print_table(base.global_theories.toList) +
    1.11              ", loaded_theories = " + print_table(base.loaded_theories.toList) +
    1.12              ", known_theories = " + print_table(base.dest_known_theories) + "}")
    1.13        }