[div] fixed api

src/plugins/dive/dive_graph.ml

@@ -270,7 +270,9 @@ let ouptput_to_dot out_channel g =
 
 module JsonPrinter =
 struct
-  let output_stmt = Server.Kernel_ast.Stmt.to_json
+  let output_stmt stmt =
+    let kf = Kernel_function.find_englobing_kf stmt in
+    Server.Kernel_ast.Location.to_json (kf, PStmtStart (kf, stmt))
 
   let output_kinstr = function
     | Cil_types.Kglobal -> `String "global"

src/plugins/server/kernel_ast.ml

@@ -244,7 +244,7 @@ struct
   let jtype = Marker.jtype
   let to_json st =
     let kf = Kernel_function.find_englobing_kf st in
-    Marker.to_json (PStmt(kf,st))
+    Marker.to_json (PStmtStart(kf,st))
   let of_json js =
     let open Printer_tag in
     match Marker.of_json js with