diff --git a/src/plugins/e-acsl/src/main.ml b/src/plugins/e-acsl/src/main.ml
index 3c606f3bbdf6348c9abc21e64ffd2e28db872d91..c8027aa8d6f690b468b5aae66a1e98e8e957fdfc 100644
--- a/src/plugins/e-acsl/src/main.ml
+++ b/src/plugins/e-acsl/src/main.ml
@@ -45,7 +45,7 @@ let unmemoized_extend_ast () =
          (Kernel.Machdep.get ())
          Datatype.Filepath.pp_abs share);
     Kernel.Keep_unused_specified_functions.off ();
-    if Plugin.is_present "variadic-translation" then
+    if Plugin.is_present "variadic" then
       Dynamic.Parameter.Bool.off "-variadic-translation" ();
     let ppc, ppk = File.get_preprocessor_command () in
     let register s =