Merge branch 'fix/server/synchronized-arrays' into 'master'

[server] Fixes the array synchronization via [States.update] and [States.remove].

See merge request frama-c/frama-c!3364

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

src/plugins/server/states.ml

@@ -209,18 +209,14 @@ let reload array =
 let update array k =
   let m = content array in
   if not m.cleared then
-    begin
-      m.updates <- Kmap.add (array.key k) (Add k) m.updates ;
-      Request.emit array.signal ;
-    end
+    m.updates <- Kmap.add (array.key k) (Add k) m.updates ;
+  Request.emit array.signal
 
 let remove array k =
   let m = content array in
   if not m.cleared then
-    begin
-      m.updates <- Kmap.add (array.key k) Remove m.updates ;
-      Request.emit array.signal ;
-    end
+    m.updates <- Kmap.add (array.key k) Remove m.updates ;
+  Request.emit array.signal
 
 let signal array = array.signal