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/Thy/thy_output.ML
changeset 58864 505a8150368a
parent 58861 5ff61774df11
child 58866 f81e11391562 
--- a/src/Pure/Thy/thy_output.ML	Sat Nov 01 18:46:48 2014 +0100
+++ b/src/Pure/Thy/thy_output.ML	Sat Nov 01 19:33:51 2014 +0100
@@ -415,8 +415,8 @@
     val spans = toks
       |> take_suffix Token.is_space |> #1
       |> Source.of_list
-      |> Source.source' 0 Token.stopper (Scan.error (Scan.bulk token)) NONE
-      |> Source.source stopper (Scan.error (Scan.bulk span)) NONE
+      |> Source.source' 0 Token.stopper (Scan.error (Scan.bulk token))
+      |> Source.source stopper (Scan.error (Scan.bulk span))
       |> Source.exhaust;
isabelle