# HG changeset patch
# User wenzelm
# Date 1610973812 -3600
# Node ID cc71193891c26177334b176ec928049888583473
# Parent  9dafcf6f152b36232d6e87b81a986a56276bd1e8
tuned;

diff -r 9dafcf6f152b -r cc71193891c2 src/Pure/Thy/bibtex.ML
--- a/src/Pure/Thy/bibtex.ML	Mon Jan 18 13:41:54 2021 +0100
+++ b/src/Pure/Thy/bibtex.ML	Mon Jan 18 13:43:32 2021 +0100
@@ -46,10 +46,10 @@
         (Scan.option (Parse.verbatim || Parse.cartouche) -- Parse.and_list1 Args.name_position))
       (fn ctxt => fn (opt, citations) =>
         let
-          val thy = Proof_Context.theory_of ctxt;
-          val bibtex_entries = Resources.theory_bibtex_entries (Context.theory_long_name thy);
+          val thy_name = Context.theory_long_name (Proof_Context.theory_of ctxt);
+          val bibtex_entries = Resources.theory_bibtex_entries thy_name;
           val _ =
-            if null bibtex_entries andalso Context.theory_long_name thy <> Context.PureN then ()
+            if null bibtex_entries andalso thy_name <> Context.PureN then ()
             else
               citations |> List.app (fn (name, pos) =>
                 if member (op =) bibtex_entries name then ()