src/Pure/System/scala.ML

--- a/src/Pure/System/scala.ML	Sat Nov 28 15:15:53 2020 +0100
+++ b/src/Pure/System/scala.ML	Sat Nov 28 15:17:14 2020 +0100
@@ -79,7 +79,7 @@
 
 fun check_function ctxt arg =
   Completion.check_entity Markup.scala_functionN
-    (functions () |> sort_strings |> map (rpair Position.none)) ctxt arg;
+    (functions () |> sort_strings |> map (fn a => (a, Resources.scala_function_pos a))) ctxt arg;
 
 val _ = Theory.setup
  (ML_Antiquotation.inline_embedded \<^binding>\<open>scala_function\<close>