proper theory_long_name;
authorwenzelm
Mon, 18 Jan 2021 13:41:54 +0100
changeset 73391 9dafcf6f152b
parent 73390 661e9bc0411e
child 73392 cc71193891c2
proper theory_long_name;
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 ()