src/Pure/theory.ML

--- a/src/Pure/theory.ML	Wed Apr 19 23:27:55 2023 +0200
+++ b/src/Pure/theory.ML	Thu Apr 20 11:57:34 2023 +0200
@@ -143,7 +143,7 @@
             val completion_report =
               Completion.make_report (name, pos)
                 (fn completed =>
-                  map (Context.theory_name' long) (ancestors_of thy)
+                  map (Context.theory_name long) (ancestors_of thy)
                   |> filter (completed o Long_Name.base_name)
                   |> sort_strings
                   |> map (fn a => (a, (Markup.theoryN, a))));