diff --git a/src/plugins/eva/domains/taint_domain.ml b/src/plugins/eva/domains/taint_domain.ml
index e434f1c04cb27c563e356a809e2cb1d5119d0642..a6a9f9c33f1d6ac199a1f8acdf89798ff3a71d50 100644
--- a/src/plugins/eva/domains/taint_domain.ml
+++ b/src/plugins/eva/domains/taint_domain.ml
@@ -404,8 +404,7 @@ let () =
       bl_profile = ["p", a_type];
     }
   in
-  Logic_env.add_builtin_logic_function_gen
-    Logic_utils.is_same_builtin_profile builtin_logic_info
+  Logic_env.Builtins.extend (fun () -> Logic_builtin.add builtin_logic_info)
 
 (* Registers ACSL extension "taint" (statement annotation)
    and "taints" (behavior extension). *)