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/generated_files.ML
changeset 74373 6e4093927dbb
parent 74147 d030b988d470
child 74561 8e6c973003c8 
--- a/src/Pure/Tools/generated_files.ML	Tue Sep 28 10:47:18 2021 +0200
+++ b/src/Pure/Tools/generated_files.ML	Tue Sep 28 16:01:13 2021 +0200
@@ -201,7 +201,7 @@
   end;
 
 val scan_antiq =
-  Antiquote.scan_control >> Antiquote.Control ||
+  Antiquote.scan_control Antiquote.err_prefix >> Antiquote.Control ||
   Scan.one (Symbol.not_eof o Symbol_Pos.symbol) >> (Antiquote.Text o Symbol_Pos.symbol);
 
 fun read_source ctxt (file_type: file_type) source =
isabelle