diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml index f7a5eab38e89612810558f3392eb5c0b0368066f..264360c8f4b89cb86fd44d9d7924c701110ccbcb 100644 --- a/src/plugins/server/kernel_ast.ml +++ b/src/plugins/server/kernel_ast.ml @@ -196,7 +196,7 @@ struct in let () = States.column - ~name:"loc" + ~name:"sloc" ~descr:(Md.plain "Source location") ~data:(module Kernel_main.LogSource) ~get:(fun (tag, _) -> fst (Printer_tag.loc_of_localizable tag)) @@ -451,7 +451,7 @@ struct ~default:false ~get:is_eva_analyzed; States.column model - ~name:"loc" + ~name:"sloc" ~descr:(Md.plain "Source location") ~data:(module Kernel_main.LogSource) ~get:(fun kf -> fst (Kernel_function.get_location kf));