Skip to content
Snippets Groups Projects
Commit 0d346001 authored by Basile Desloges's avatar Basile Desloges
Browse files

[eacsl] Fix deactivation of variadic plugin

parent 5deae9f7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/src/main.ml
+ 1
− 1
View file @ 0d346001
...@@ -45,7 +45,7 @@ let unmemoized_extend_ast () = ...@@ -45,7 +45,7 @@ let unmemoized_extend_ast () =
(Kernel.Machdep.get ()) (Kernel.Machdep.get ())
Datatype.Filepath.pp_abs share); Datatype.Filepath.pp_abs share);
Kernel.Keep_unused_specified_functions.off (); 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" (); Dynamic.Parameter.Bool.off "-variadic-translation" ();
let ppc, ppk = File.get_preprocessor_command () in let ppc, ppk = File.get_preprocessor_command () in
let register s = let register s =
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment