Skip to content
Snippets Groups Projects
Commit 3ccbb876 authored by Michele Alberti's avatar Michele Alberti
Browse files

[server] Rename source lcoation columns.

parent 37ff7e41
No related branches found
No related tags found
No related merge requests found
......@@ -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));
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment