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/document_antiquotations.ML
changeset 62800 7ac100f86863
parent 62520 2382876c238b
child 63120 629a4c5e953e 
--- a/src/Pure/Thy/document_antiquotations.ML	Fri Apr 01 17:49:03 2016 +0200
+++ b/src/Pure/Thy/document_antiquotations.ML	Fri Apr 01 17:56:14 2016 +0200
@@ -15,7 +15,7 @@
   Thy_Output.antiquotation binding (Scan.succeed ())
     (fn {source, ...} => fn _ =>
       error ("Bad Markdown structure: illegal " ^ quote (Binding.name_of binding) ^
-        Position.here (Position.reset_range (#1 (Token.range_of source)))))
+        Position.here (Position.no_range_position (#1 (Token.range_of source)))))
 
 in
isabelle