# HG changeset patch
# User wenzelm
# Date 1610973714 -3600
# Node ID 9dafcf6f152b36232d6e87b81a986a56276bd1e8
# Parent  661e9bc0411ea7cba6bd89a3e6bc8c9fbff5512d
proper theory_long_name;

diff -r 661e9bc0411e -r 9dafcf6f152b src/Pure/Thy/bibtex.ML
--- a/src/Pure/Thy/bibtex.ML	Sun Jan 17 23:48:55 2021 +0100
+++ b/src/Pure/Thy/bibtex.ML	Mon Jan 18 13:41:54 2021 +0100
@@ -49,7 +49,7 @@
           val thy = Proof_Context.theory_of ctxt;
           val bibtex_entries = Resources.theory_bibtex_entries (Context.theory_long_name thy);
           val _ =
-            if null bibtex_entries andalso Context.theory_name thy <> Context.PureN then ()
+            if null bibtex_entries andalso Context.theory_long_name thy <> Context.PureN then ()
             else
               citations |> List.app (fn (name, pos) =>
                 if member (op =) bibtex_entries name then ()