From 1969d12c8f781647f231b72609dc089314d7c938 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 19 Mar 2019 14:00:21 +0100
Subject: [PATCH] [Eva] Do not apply the meta-option -eva-precision hook when
 loading a save file.

As this can reset all saved states. Modified options will be set to their proper
values anyway.
---
 src/plugins/value/value_parameters.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index 636ae594710..54a063c765c 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -1371,7 +1371,7 @@ let set_analysis option_name n =
   set (module (SplitReturn)) ~default (if n > 4 then "auto" else "");
   ()
 
-let () = Precision.add_update_hook (fun _ n -> set_analysis Precision.name n)
+let () = Precision.add_set_hook (fun _ n -> set_analysis Precision.name n)
 
 (* -------------------------------------------------------------------------- *)
 (* --- Freeze parameters. MUST GO LAST                                    --- *)
-- 
GitLab