Skip to content
Snippets Groups Projects
Commit 1969d12c authored by David Bühler's avatar David Bühler
Browse files

[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.
parent 054665ec
No related branches found
No related tags found
No related merge requests found
...@@ -1371,7 +1371,7 @@ let set_analysis option_name n = ...@@ -1371,7 +1371,7 @@ let set_analysis option_name n =
set (module (SplitReturn)) ~default (if n > 4 then "auto" else ""); 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 --- *) (* --- Freeze parameters. MUST GO LAST --- *)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment