diff --git a/src/plugins/value/engine/analysis.ml b/src/plugins/value/engine/analysis.ml
index 757510704f68b66455b05f3259038503aba41372..06c72bf50993d410b025682e5ee4f2ab914a45a9 100644
--- a/src/plugins/value/engine/analysis.ml
+++ b/src/plugins/value/engine/analysis.ml
@@ -165,17 +165,8 @@ let force_compute () =
   let module Analyzer = (val snd !ref_analyzer) in
   Analyzer.compute_from_entry_point ~lib_entry kf
 
-let set_hook_on_parameter parameter =
-  let open Typed_parameter in
-  match parameter.accessor with
-  | Bool (accessor, _)   -> accessor.add_set_hook (fun _ _ -> reset_analyzer ())
-  | Int (accessor, _)    -> accessor.add_set_hook (fun _ _ -> reset_analyzer ())
-  | String (accessor, _) -> accessor.add_set_hook (fun _ _ -> reset_analyzer ())
-
-(* Resets the Analyzer whenever an abstraction parameter or the current project
-   is changed. This maintains the analyzer consistent with the Eva parameters. *)
+(* Resets the Analyzer when the current project is changed. *)
 let () =
-  List.iter set_hook_on_parameter Value_parameters.parameters_abstractions;
   Project.register_after_set_current_hook
     ~user_only:true (fun _ -> reset_analyzer ());
   Project.register_after_global_load_hook reset_analyzer
diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index bbe2cb24f8be0976029f6d00fac8af91f560821c..597997dccc6b363f3176911b87dcfd17fddc5ed0 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -234,11 +234,6 @@ module DomainsFunction =
     end)
 let () = add_precision_dep DomainsFunction.parameter
 
-(* Set of parameters defining the abstractions used in an Eva analysis. *)
-let parameters_abstractions =
-  ref (Typed_parameter.Set.of_list
-         [Domains.parameter; DomainsFunction.parameter])
-
 
 let () = Parameter_customize.set_group domains
 module EqualityCall =
@@ -1547,8 +1542,6 @@ let parameters_correctness =
   Typed_parameter.Set.elements !parameters_correctness
 let parameters_tuning =
   Typed_parameter.Set.elements !parameters_tuning
-let parameters_abstractions =
-  Typed_parameter.Set.elements !parameters_abstractions
 
 
 
diff --git a/src/plugins/value/value_parameters.mli b/src/plugins/value/value_parameters.mli
index 828113a3c87ef0927de1d90ebda9ca0fe3ee5ca0..b31c526f8648c46fb06a6677000e518e45f4f94b 100644
--- a/src/plugins/value/value_parameters.mli
+++ b/src/plugins/value/value_parameters.mli
@@ -163,7 +163,6 @@ val configure_precision: unit -> unit
 
 val parameters_correctness: Typed_parameter.t list
 val parameters_tuning: Typed_parameter.t list
-val parameters_abstractions: Typed_parameter.t list
 
 (** Debug categories responsible for printing initial and final states of Value.
     Enabled by default, but can be disabled via the command-line: