# HG changeset patch
# User wenzelm
# Date 1673617099 -3600
# Node ID a8566127d43b7dee4e7ca23684b5246e0d54d732
# Parent  c847442df7fe9a902480076e88ee945eff604ccb
tuned;

diff -r c847442df7fe -r a8566127d43b src/Pure/Thy/bibtex.ML
--- a/src/Pure/Thy/bibtex.ML	Fri Jan 13 13:57:39 2023 +0100
+++ b/src/Pure/Thy/bibtex.ML	Fri Jan 13 14:38:19 2023 +0100
@@ -38,6 +38,10 @@
 (* document antiquotations *)
 
 val cite_macro = Attrib.setup_config_string \<^binding>\<open>cite_macro\<close> (K "");
+fun get_cite_macro ctxt = Config.get ctxt cite_macro;
+
+val _ =
+  Theory.setup (Document_Antiquotation.setup_option \<^binding>\<open>cite_macro\<close> (Config.put cite_macro));
 
 fun cite_antiquotation binding get_kind =
   Document_Output.antiquotation_raw binding
@@ -65,8 +69,7 @@
 
 val _ =
   Theory.setup
-   (Document_Antiquotation.setup_option \<^binding>\<open>cite_macro\<close> (Config.put cite_macro) #>
-    cite_antiquotation \<^binding>\<open>cite\<close> (fn ctxt => Config.get ctxt cite_macro) #>
+   (cite_antiquotation \<^binding>\<open>cite\<close> get_cite_macro #>
     cite_antiquotation \<^binding>\<open>nocite\<close> (K "nocite") #>
     cite_antiquotation \<^binding>\<open>citet\<close> (K "citet") #>
     cite_antiquotation \<^binding>\<open>citep\<close> (K "citep"));