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/Tools/jEdit/src/prover/Prover.scala
changeset 34400 1b61a92f8675
parent 34399 5b8b89b7e597
child 34401 44241a37b74a 
--- a/src/Tools/jEdit/src/prover/Prover.scala	Sun Dec 07 19:55:01 2008 +0100
+++ b/src/Tools/jEdit/src/prover/Prover.scala	Mon Dec 08 19:11:06 2008 +0100
@@ -82,7 +82,7 @@
                       if(st == null) commands.getOrElse(id, null)
                       // inner syntax: id from props
                       else st
-                    command.add_node(command.node_from(kind, begin, end))
+                    command.root_node.add(command.node_from(kind, begin, end))
                   // Phase changed
                   case Elem("finished", _, _) =>
                     st.phase = Phase.FINISHED
isabelle