changeset 65355 | 403eabd73c9a |
parent 64854 | f5aa712e6250 |
child 65359 | 9ca34f0407a9 |
--- a/src/Pure/Thy/thy_info.scala Sat Apr 01 23:48:28 2017 +0200 +++ b/src/Pure/Thy/thy_info.scala Mon Apr 03 12:41:06 2017 +0200 @@ -118,7 +118,7 @@ required_by(initiators) + Position.here(require_pos) val required1 = required + thy - if (required.seen(name) || resources.base.loaded_theories(name.theory)) required1 + if (required.seen(name) || resources.base.loaded_theory(name)) required1 else { try { if (initiators.contains(name)) error(cycle_msg(initiators))