diff --git a/src/plugins/value/register.ml b/src/plugins/value/register.ml
index 08b9174733a7f6e7d79e466b3f00ca1a63089573..b7198f212195417767e50c26497c272c0026b8c5 100644
--- a/src/plugins/value/register.ml
+++ b/src/plugins/value/register.ml
@@ -49,7 +49,7 @@ let eval_error_reason fmt e =
   then Eval_terms.pretty_logic_evaluation_error fmt e
 
 let assigns_inputs_to_zone state assigns =
-  let env = Eval_terms.env_pre_f ~pre:state () in
+  let env = Eval_terms.env_assigns ~pre:state in
   let treat_asgn acc (_,ins as asgn) =
     match ins with
     | FromAny -> Zone.top