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/PIDE/query_operation.scala
changeset 72823 ab1a49ac456b
parent 66108 8b433b6f302f
child 73340 0ffcad1f6130 
--- a/src/Pure/PIDE/query_operation.scala	Sat Dec 05 13:37:37 2020 +0100
+++ b/src/Pure/PIDE/query_operation.scala	Sat Dec 05 13:45:09 2020 +0100
@@ -84,7 +84,7 @@
               (_, elem @ XML.Elem(Markup(Markup.RESULT, props), _)) <- command_results.iterator
               if props.contains((Markup.INSTANCE, state0.instance))
             } yield elem).toList
-          val removed = !snapshot.version.nodes(cmd.node_name).commands.contains(cmd)
+          val removed = !snapshot.get_node(cmd.node_name).commands.contains(cmd)
           (snapshot, command_results, results, removed)
         case None =>
           (Document.Snapshot.init, Command.Results.empty, Nil, true)
isabelle