src/Pure/Thy/thy_syntax.scala
changeset 64799 c0c648911f1a
parent 63866 630eaf8fe9f3
child 64819 bebe7a164068
     1.1 --- a/src/Pure/Thy/thy_syntax.scala	Thu Jan 05 10:49:47 2017 +0100
     1.2 +++ b/src/Pure/Thy/thy_syntax.scala	Thu Jan 05 12:23:25 2017 +0100
     1.3 @@ -307,7 +307,7 @@
     1.4          val reparse =
     1.5            (syntax_changed /: nodes0.iterator)({
     1.6              case (reparse, (name, node)) =>
     1.7 -              if (node.load_commands.exists(_.blobs_changed(doc_blobs)) && !reparse.contains(name))
     1.8 +              if (node.load_commands_changed(doc_blobs) && !reparse.contains(name))
     1.9                  name :: reparse
    1.10                else reparse
    1.11              })