Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/thy_syntax.scala
changeset 64799 c0c648911f1a
parent 63866 630eaf8fe9f3
child 64819 bebe7a164068 
--- a/src/Pure/Thy/thy_syntax.scala	Thu Jan 05 10:49:47 2017 +0100
+++ b/src/Pure/Thy/thy_syntax.scala	Thu Jan 05 12:23:25 2017 +0100
@@ -307,7 +307,7 @@
         val reparse =
           (syntax_changed /: nodes0.iterator)({
             case (reparse, (name, node)) =>
-              if (node.load_commands.exists(_.blobs_changed(doc_blobs)) && !reparse.contains(name))
+              if (node.load_commands_changed(doc_blobs) && !reparse.contains(name))
                 name :: reparse
               else reparse
             })
isabelle