diff --git a/src/kernel_internals/runtime/messages.ml b/src/kernel_internals/runtime/messages.ml index 1cc0e9342ec79e685be6bae9d672e7b77b79524e..2f4cffa49367a7dd56c1652b158f4c3100c96fef 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: