diff --git a/src/plugins/value/api/general_requests.ml b/src/plugins/value/api/general_requests.ml
index 6fce12a3e9417a9c63faca47c44407f4a22c9fbd..8c509d9484041f63f114711db0f2a2c2ebbeb86e 100644
--- a/src/plugins/value/api/general_requests.ml
+++ b/src/plugins/value/api/general_requests.ml
@@ -168,6 +168,10 @@ let () =
     ~enable:Analysis.is_computed
     print_value
 
+let () =
+  Analysis.register_computation_hook
+    (fun _ -> Server.Kernel_ast.Information.update ())
+
 (* ----- Red and tainted alarms --------------------------------------------- *)
 
 module Taint = struct