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/Isar/token.scala
changeset 77030 d7dc5b1e4381
parent 75420 73a2f3fe0e8c
child 82120 a4aa45999dd7 
--- a/src/Pure/Isar/token.scala	Fri Jan 20 20:26:42 2023 +0100
+++ b/src/Pure/Isar/token.scala	Fri Jan 20 21:08:18 2023 +0100
@@ -225,7 +225,7 @@
       else new Pos(line1, offset1, file, id)
     }
 
-    private def position(end_offset: Symbol.Offset): Position.T =
+    def position(end_offset: Symbol.Offset): Position.T =
       (if (line > 0) Position.Line(line) else Nil) :::
       (if (offset > 0) Position.Offset(offset) else Nil) :::
       (if (end_offset > 0) Position.End_Offset(end_offset) else Nil) :::
isabelle