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/System/session.scala
changeset 38230 ed147003de4b
parent 38227 6bbb42843b6e
child 38260 d4a1c7a19be3 
--- a/src/Pure/System/session.scala	Sat Aug 07 21:22:39 2010 +0200
+++ b/src/Pure/System/session.scala	Sat Aug 07 22:09:52 2010 +0200
@@ -138,7 +138,7 @@
     {
       raw_results.event(result)
 
-      val target_id: Option[Session.Entity_ID] = Position.get_id(result.message.attributes)
+      val target_id: Option[Session.Entity_ID] = Position.get_id(result.properties)
       val target: Option[Session.Entity] =
         target_id match {
           case None => None
isabelle