diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml
index 8693bbf311330b33c190adf716213369e3686785..f9fadabefdc55ff69331af8d18d584a978f44629 100644
--- a/src/plugins/server/kernel_ast.ml
+++ b/src/plugins/server/kernel_ast.ml
@@ -640,6 +640,15 @@ let () = Request.register ~package
 (* --- Default Kernel Informations                                        --- *)
 (* -------------------------------------------------------------------------- *)
 
+let () = Informations.register
+    ~id:"kernel.ast.location"
+    ~label:"Location"
+    ~title:"Source file location"
+    begin fun fmt loc ->
+      let location = Printer_tag.loc_of_localizable loc in
+      Filepath.pp_pos fmt (fst location)
+    end
+
 let () = Informations.register
     ~id:"kernel.ast.varinfo"
     ~label:"Var"