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/Syntax/syntax.ML
changeset 39507 839873937ddd
parent 39288 f1ae2493d93f
child 39508 dfacdb01e1ec 
--- a/src/Pure/Syntax/syntax.ML	Fri Sep 17 17:31:20 2010 +0200
+++ b/src/Pure/Syntax/syntax.ML	Fri Sep 17 20:18:27 2010 +0200
@@ -182,7 +182,7 @@
 fun parse_token ctxt markup str =
   let
     val (syms, pos) = read_token str;
-    val _ = Context_Position.report ctxt markup pos;
+    val _ = Context_Position.report ctxt pos markup;
   in (syms, pos) end;
 
 local
isabelle