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/General/position.ML
changeset 58854 b979c781c2db
parent 57899 5867d1306712
child 58978 e42da880c61e 
--- a/src/Pure/General/position.ML	Fri Oct 31 21:48:40 2014 +0100
+++ b/src/Pure/General/position.ML	Fri Oct 31 22:02:49 2014 +0100
@@ -90,7 +90,7 @@
 fun advance_count "\n" (i: int, j: int, k: int) =
       (if_valid i (i + 1), if_valid j (j + 1), k)
   | advance_count s (i, j, k) =
-      if Symbol.is_regular s then (i, if_valid j (j + 1), k)
+      if Symbol.not_eof s then (i, if_valid j (j + 1), k)
       else (i, j, k);
 
 fun invalid_count (i, j, _: int) =
isabelle