diff --git a/src/kernel_services/plugin_entry_points/db.ml b/src/kernel_services/plugin_entry_points/db.ml
index 7d2158054e05a56b04550aa05e91a8682c092de4..4266f7dd1276e87ab4ebab7fa32e55b24b5ac3c3 100644
--- a/src/kernel_services/plugin_entry_points/db.ml
+++ b/src/kernel_services/plugin_entry_points/db.ml
@@ -126,9 +126,7 @@ module Operational_inputs = struct
       failwith ("Db.Operational_inputs.get_internal_precise not implemented"))
   let get_external = mk_fun "Operational_inputs.get_external"
 
-  module Record_Inout_Callbacks =
-    Hook.Build (struct type t = Eva_types.Callstack.t * Inout_type.t end)
-  [@@alert "-db_deprecated"]
+  module Record_Inout_Callbacks = Hook.Build (struct type t = Inout_type.t end)
 
   let pretty fmt x =
     Format.fprintf fmt "@[<v>";
diff --git a/src/kernel_services/plugin_entry_points/db.mli b/src/kernel_services/plugin_entry_points/db.mli
index 8228f31cab7a7468b810d570725e34d139f82560..7867a74f246a0f5f098b09b0ea08d9e312866339 100644
--- a/src/kernel_services/plugin_entry_points/db.mli
+++ b/src/kernel_services/plugin_entry_points/db.mli
@@ -319,10 +319,8 @@ module Operational_inputs : sig
 
   (**/**)
   (* Internal use *)
-  module Record_Inout_Callbacks:
-    Hook.Iter_hook with type param = Eva_types.Callstack.t * Inout_type.t
-    [@@alert "-db_deprecated"]
-    (**/**)
+  module Record_Inout_Callbacks: Hook.Iter_hook with type param = Inout_type.t
+  (**/**)
 end
 
 
diff --git a/src/plugins/eva/engine/transfer_stmt.ml b/src/plugins/eva/engine/transfer_stmt.ml
index 78ab84bc9725887ee9d3ce1810e128248af25ce5..3ff6e2ac1d4b1c5badc54103226845e835ef3b74 100644
--- a/src/plugins/eva/engine/transfer_stmt.ml
+++ b/src/plugins/eva/engine/transfer_stmt.ml
@@ -56,8 +56,7 @@ module InOutCallback =
     end)
 
 let register_callback () =
-  Db.Operational_inputs.Record_Inout_Callbacks.extend_once
-    (fun (_stack, inout) -> InOutCallback.set inout)
+  Db.Operational_inputs.Record_Inout_Callbacks.extend_once InOutCallback.set
 
 let () = Cmdline.run_after_configuring_stage register_callback
 
diff --git a/src/plugins/inout/operational_inputs.ml b/src/plugins/inout/operational_inputs.ml
index fd6ac73903827b6801ff1d08f5f660f0a7f864e8..8f658d124e1c51fbe723c13c3b731e1920b93332 100644
--- a/src/plugins/inout/operational_inputs.ml
+++ b/src/plugins/inout/operational_inputs.ml
@@ -580,7 +580,7 @@ module Callwise = struct
     | [] -> Inout_parameters.fatal "callwise: internal stack is empty"
 
   let end_record callstack kf inout =
-    Db.Operational_inputs.Record_Inout_Callbacks.apply (callstack, inout);
+    Db.Operational_inputs.Record_Inout_Callbacks.apply inout;
     let callsite = Eva.Callstack.top_callsite callstack in
     match callsite, !call_inout_stack with
     | Kstmt _, (_caller, table) :: _ ->