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 34410 f2644d2a3e8e
parent 34407 aad6834ba380
child 34443 f2e13329cc49 
--- a/src/Tools/jEdit/src/prover/Prover.scala	Fri Dec 19 23:54:24 2008 +0100
+++ b/src/Tools/jEdit/src/prover/Prover.scala	Fri Dec 19 23:55:07 2008 +0100
@@ -83,7 +83,7 @@
                   // expecting markups here
                   case Elem(kind, List(("offset", offset),
                                        ("end_offset", end_offset),
-                                       ("id", id)), List()) =>
+                                       ("id", id)), Nil) =>
                     val begin = Int.unbox(java.lang.Integer.valueOf(offset)) - 1
                     val end = Int.unbox(java.lang.Integer.valueOf(end_offset)) - 1
isabelle