diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index cd4ef32136c15f52f83a89a6089bee1d4f98f126..e0f41ccf3bebd776cd5201444f0ff4bca79f1459 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -960,6 +960,7 @@ let () = add_correctness_dep BuiltinsAuto.parameter
 let () = BuiltinsAuto.add_aliases ["-val-builtins-auto"]
 
 let () = Parameter_customize.set_group precision_tuning
+let () = Parameter_customize.set_negative_option_name ""
 module BuiltinsList =
   False
     (struct