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 46749 042c546d2bac
parent 46737 09ab89658a5d
child 46811 03a2dc9e0624 
--- a/src/Pure/Thy/thy_syntax.scala	Thu Mar 01 15:16:20 2012 +0100
+++ b/src/Pure/Thy/thy_syntax.scala	Thu Mar 01 15:42:44 2012 +0100
@@ -258,7 +258,7 @@
           val node = nodes(name)
           val update_header =
             (node.header, header) match {
-              case (Exn.Res(deps0), Exn.Res(deps)) => deps != deps
+              case (Exn.Res(deps0), Exn.Res(deps)) => deps0 != deps
               case _ => true
             }
           if (update_header) {
isabelle