diff --git a/src/plugins/e-acsl/src/main.ml b/src/plugins/e-acsl/src/main.ml
index 8439a6b2b725c35b843318e35ada2accb345a919..194e1e54f8ef8aa2ad9222a64449a4be1e083733 100644
--- a/src/plugins/e-acsl/src/main.ml
+++ b/src/plugins/e-acsl/src/main.ml
@@ -48,8 +48,8 @@ let generate_code =
              Options.abort
                "The variadic translation is incompatible with E-ACSL option \
                 '%s'.@ Please use option '-variadic-no-translation'."
-               Options.Validate_format_strings.option_name
-               Options.warning "deactivating variadic translation";
+               Options.Validate_format_strings.option_name;
+           Options.warning "deactivating variadic translation";
            Dynamic.Parameter.Bool.off opt_name ();
          end
        end;