diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml index a3fe97c94e4ac970d3f3c228715d63eee5af6714..53b973e888318d983ed1f9d031e5fb0f2917871b 100644 --- a/src/plugins/server/kernel_ast.ml +++ b/src/plugins/server/kernel_ast.ml @@ -196,8 +196,8 @@ struct in let () = States.column - ~name:"position" - ~descr:(Md.plain "Marker position") + ~name:"loc" + ~descr:(Md.plain "Source location") ~data:(module Kernel_main.LogSource) ~get:(fun (tag, _) -> fst (Printer_tag.loc_of_localizable tag)) model