diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index 5d65b1fc3ead5c34499f2110007d339da7bdc13e..cd4ef32136c15f52f83a89a6089bee1d4f98f126 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -918,13 +918,13 @@ module BuiltinsOverrides =
         begin match nameopt with
           | Some name ->
             if not (!Db.Value.mem_builtin name) then
-              abort "option '-val-builtin %a:%s': undeclared builtin '%s'@.\
+              abort "option '-eva-builtin %a:%s': undeclared builtin '%s'@.\
                      declared builtins: @[%a@]"
                 Kernel_function.pretty kf name name
                 (Pretty_utils.pp_list ~sep:",@ " Format.pp_print_string)
                 (List.map fst (!Db.Value.registered_builtins ()))
           | _ -> abort
-                   "option '-val-builtin':@ \
+                   "option '-eva-builtin':@ \
                     no builtin associated to function '%a',@ use '%a:<builtin>'"
                    Kernel_function.pretty kf Kernel_function.pretty kf
         end;