From 3ccbb8762ef4fa93b683bc7dcdafb296fac703df Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 8 Dec 2020 10:56:38 +0100
Subject: [PATCH] [server] Rename source lcoation columns.
---
src/plugins/server/kernel_ast.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml
index f7a5eab38e8..264360c8f4b 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));
--
GitLab