src/Pure/Thy/sessions.scala
changeset 66977 fa79f18eadc7
parent 66976 806bc39550a5
child 66984 a1d3e5df0c95
     1.1 --- a/src/Pure/Thy/sessions.scala	Wed Nov 01 16:43:51 2017 +0100
     1.2 +++ b/src/Pure/Thy/sessions.scala	Wed Nov 01 16:58:38 2017 +0100
     1.3 @@ -362,7 +362,7 @@
     1.4  
     1.5          if (required_theories.isEmpty) (info.parent.get, Nil)
     1.6          else {
     1.7 -          val other_name = info.name + "(imports)"
     1.8 +          val other_name = info.name + "(base)"
     1.9            (other_name,
    1.10              List(
    1.11                make_info(info.options,