From 1c65e706c322079c79079373790c7ce4e3a44092 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Mon, 20 Sep 2021 15:42:30 +0200
Subject: [PATCH] [eacsl] Fix -variadic-no-translation setup if the AST is not
computed
---
src/plugins/e-acsl/src/main.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/src/main.ml b/src/plugins/e-acsl/src/main.ml
index 8439a6b2b72..194e1e54f8e 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;
--
GitLab