From b45463ab3597e1559add4e66a6752cc9b38a746a Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 26 Aug 2020 16:28:24 +0200
Subject: [PATCH] [Eva] remove generated option -eva-no-builtins-list
---
src/plugins/value/value_parameters.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index cd4ef32136c..e0f41ccf3be 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
--
GitLab