From dc3a7fa3e1dd3a32d3ec0d63aedd8b1e080f7242 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 13 May 2020 16:43:01 +0200
Subject: [PATCH] [server] Kernel_ast: fixes marker lookup.
---
src/plugins/server/kernel_ast.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml
index 21870f3dfc5..21f6d0abeb1 100644
--- 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"
--
GitLab