changeset 77033 | e75e2f86a6d3 |
parent 77030 | d7dc5b1e4381 |
child 77774 | 9273eb5d2672 |
--- a/src/Pure/Thy/bibtex.ML Fri Jan 20 21:28:47 2023 +0100 +++ b/src/Pure/Thy/bibtex.ML Fri Jan 20 21:35:49 2023 +0100 @@ -76,7 +76,7 @@ local -val parse_citations = Parse.and_list1 Args.name_position; +val parse_citations = Parse.and_list1 (Parse.position Parse.name); fun cite_command ctxt get_kind ((opt_loc, citations), macro_name) = let