src/Pure/PIDE/query_operation.scala

--- a/src/Pure/PIDE/query_operation.scala	Sun Mar 12 13:41:16 2017 +0100
+++ b/src/Pure/PIDE/query_operation.scala	Sun Mar 12 13:48:10 2017 +0100
@@ -78,7 +78,7 @@
       state0.location match {
         case Some(cmd) =>
           val snapshot = editor.node_snapshot(cmd.node_name)
-          val command_results = snapshot.state.command_results(snapshot.version, cmd)
+          val command_results = snapshot.command_results(cmd)
           val results =
             (for {
               (_, elem @ XML.Elem(Markup(Markup.RESULT, props), _)) <- command_results.iterator