From f3ae1e7b48d262a54faa0af306ab77455d498f6f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 14 Oct 2020 09:38:18 +0200
Subject: [PATCH] [lib] renamed global hooks in messages
---
src/kernel_internals/runtime/messages.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/kernel_internals/runtime/messages.ml b/src/kernel_internals/runtime/messages.ml
index 1cc0e9342ec..2f4cffa4936 100644
--- a/src/kernel_internals/runtime/messages.ml
+++ b/src/kernel_internals/runtime/messages.ml
@@ -48,11 +48,11 @@ module Messages =
end)
let () = Ast.add_monotonic_state Messages.self
-let demons = ref []
+let hooks = ref []
let add_message m =
begin
Messages.set (m :: Messages.get ()) ;
- List.iter (fun fn -> fn()) !demons ;
+ List.iter (fun fn -> fn()) !hooks ;
end
let nb_errors () =
@@ -100,7 +100,7 @@ let () = Log.check_not_yet := check_not_yet
let reset_once_flag () = OnceTable.clear ()
-let add_global_hook fn = demons := !demons @ [fn]
+let add_global_hook fn = hooks := !hooks @ [fn]
(*
Local Variables:
--
GitLab