changeset 55785 | 3086f57e48e9 |
parent 55783 | da0513d95155 |
child 56208 | 06cc31dff138 |
--- a/src/Pure/Thy/thy_syntax.scala Thu Feb 27 14:15:23 2014 +0100 +++ b/src/Pure/Thy/thy_syntax.scala Thu Feb 27 14:51:14 2014 +0100 @@ -448,8 +448,9 @@ val reparse = (reparse0 /: nodes0.entries)({ case (reparse, (name, node)) => - if (node.thy_load_commands.isEmpty) reparse - else name :: reparse + if (node.thy_load_commands.exists(_.blobs_changed(doc_blobs))) + name :: reparse + else reparse }) val reparse_set = reparse.toSet