diff --git a/src/plugins/eva/domains/numerors/numerors_domain.ml b/src/plugins/eva/domains/numerors/numerors_domain.ml
index cd2d0842805a7d887d5cf6844348cad063c1bb93..de24c17397dd96f4e478461ca0490e0d14974d91 100644
--- a/src/plugins/eva/domains/numerors/numerors_domain.ml
+++ b/src/plugins/eva/domains/numerors/numerors_domain.ml
@@ -164,6 +164,6 @@ let registered =
     }
 
 let () =
-  let reduced_product = Main_values.CVal.key, Numerors_value.key, reduce_error in
-  register_value_reduction reduced_product;
-  register_hook reduce_cast
+  let open Abstractions in
+  Reducer.register Main_values.CVal.key Numerors_Value.key reduce_error ;
+  Hooks.register reduce_cast