From 1cf7c93eeda2c5f9c89dbd09f539fd7bd9722c1b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 28 Sep 2021 12:35:49 +0200
Subject: [PATCH] [server] Reloads synchronized array markerInfo when the AST
is updated.
---
src/plugins/server/kernel_ast.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml
index c59c6950196..dce3b62f90f 100644
--- a/src/plugins/server/kernel_ast.ml
+++ b/src/plugins/server/kernel_ast.ml
@@ -216,7 +216,8 @@ struct
~name:"markerInfo"
~descr:(Md.plain "Marker informations")
~key:snd ~keyType:Jstring
- ~iter model
+ ~iter ~add_reload_hook:ast_update_hook
+ model
let create_tag = function
| PStmt(_,s) -> Printf.sprintf "#s%d" s.sid
--
GitLab