diff --git a/src/plugins/eva/domains/cvalue/builtins.ml b/src/plugins/eva/domains/cvalue/builtins.ml
index 493a62a052b953e553871f1d6d1dbdf50ca7bd05..e5eb37d3758b1884caa66f455f2a10b1d0f2f643 100644
--- a/src/plugins/eva/domains/cvalue/builtins.ml
+++ b/src/plugins/eva/domains/cvalue/builtins.ml
@@ -204,14 +204,15 @@ let prepare_builtins () =
   (* Overrides builtins attribution according to the -eva-builtin option. *)
   Parameters.BuiltinsOverrides.iter
     (fun (kf, name) ->
-       prepare_builtin kf (Hashtbl.find table (Option.get name)))
+       prepare_builtin kf (Hashtbl.find table (Option.get name)));
+  BuiltinsOverride.mark_as_computed ()
 
 let find_builtin_override = Hashtbl.find_opt builtins_table
 
-let is_builtin_overridden name =
+let is_builtin_overridden kf =
   if not (BuiltinsOverride.is_computed ())
   then prepare_builtins ();
-  BuiltinsOverride.mem name
+  BuiltinsOverride.mem kf
 
 (* -------------------------------------------------------------------------- *)
 (* --- Applying a builtin                                                 --- *)