--- a/src/Pure/PIDE/resources.ML Wed May 27 20:38:59 2020 +0200
+++ b/src/Pure/PIDE/resources.ML Wed May 27 20:51:25 2020 +0200
@@ -95,8 +95,8 @@
fun loaded_theory a = Symtab.defined (get_session_base #loaded_theories) a;
-fun check_name which kind markup ctxt (name, pos) =
- Completion.check_item kind markup (get_session_base which |> sort_by #1) ctxt (name, pos);
+fun check_name which kind markup ctxt arg =
+ Completion.check_item kind markup (get_session_base which |> sort_by #1) ctxt arg;
val check_session =
check_name #session_positions "session"