changeset 71569 | 391ea80ff27c |
parent 70946 | 79d23e6436d0 |
child 71574 | 95460356d633 |
--- a/src/Pure/Thy/sessions.scala Wed Mar 18 17:44:27 2020 +0100 +++ b/src/Pure/Thy/sessions.scala Wed Mar 18 18:06:36 2020 +0100 @@ -386,6 +386,8 @@ if (required_theories.isEmpty) (ancestor.get, Nil) else { val other_name = info.name + "_requirements(" + ancestor.get + ")" + Isabelle_System.isabelle_tmp_prefix() + (other_name, List( make_info(info.options,