Merge branch 'fix/server/marker-lookup' into 'master'

[server] Kernel_ast: fixes marker lookup. See merge request frama-c/frama-c!2655

Merge branch 'fix/server/marker-lookup' into 'master'
7fe398ee · Loïc Correnson · ab8dbd5c · dc3a7fa3 · 7fe398ee
Commit 7fe398ee authored 4 years ago by Loïc Correnson
--- a/src/plugins/server/kernel_ast.ml
+++ b/src/plugins/server/kernel_ast.ml
@@ -94,7 +94,7 @@ struct
      Hashtbl.add locs tag loc ;
      tag

-  let lookup = Hashtbl.find (STATE.get()).locs
+  let lookup tag = Hashtbl.find (STATE.get()).locs tag

  type t = localizable
  let syntax = Sy.publish ~page:Data.page ~name:"marker"