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/Tools/rail.ML
changeset 71674 48ff625687f5
parent 69891 def3ec9cdb7e
child 71675 55cb4271858b 
--- a/src/Pure/Tools/rail.ML	Fri Apr 03 12:45:14 2020 +0200
+++ b/src/Pure/Tools/rail.ML	Fri Apr 03 13:51:56 2020 +0200
@@ -309,7 +309,7 @@
     val toks = tokenize (Input.source_explode source);
     val _ = Context_Position.reports ctxt (maps reports_of_token toks);
     val rules = parse_rules (filter is_proper toks);
-    val _ = Position.reports (maps (reports_of_tree ctxt o #2) rules);
+    val _ = Context_Position.reports ctxt (maps (reports_of_tree ctxt o #2) rules);
   in map (apsnd prepare_tree) rules end;
isabelle