--- a/src/Pure/System/isabelle_system.ML Wed May 27 20:38:59 2020 +0200
+++ b/src/Pure/System/isabelle_system.ML Wed May 27 20:51:25 2020 +0200
@@ -52,8 +52,8 @@
|> split_lines |> map_filter (space_explode " " #> try List.last);
fun check_bash_function ctxt arg =
- Completion.check_item Markup.bash_functionN (Markup.bash_function o #1)
- (bash_functions () |> map (rpair ())) ctxt arg;
+ Completion.check_entity Markup.bash_functionN
+ (bash_functions () |> map (rpair Position.none)) ctxt arg;
(* directory operations *)