diff --git a/src/plugins/eva/contexts/context_product.ml b/src/plugins/eva/contexts/context_product.ml
index ad934208e87bb8fcc4fc4480a581f19e5ca6800c..4ca41b8fdc1ce92d1c2531b5afcd4dfade1ba9a6 100644
--- a/src/plugins/eva/contexts/context_product.ml
+++ b/src/plugins/eva/contexts/context_product.ml
@@ -23,5 +23,6 @@
 module Make (L : Abstract_context.S) (R : Abstract_context.S) = struct
   type t = L.t * R.t
   let top = (L.top, R.top)
-  let narrow (l, r) (l', r') = Eval.Bottom.zip (L.narrow l l') (R.narrow r r')
+  let narrow (l, r) (l', r') =
+    Lattice_bounds.Bottom.zip (L.narrow l l') (R.narrow r r')
 end
diff --git a/src/plugins/eva/domains/domain_product.ml b/src/plugins/eva/domains/domain_product.ml
index 0f03069fcda1a4c3dc3cb93c87db170af5b7d529..fdf4ab1eeeaf75c7d6dd588a4d5bb32573f9701a 100644
--- a/src/plugins/eva/domains/domain_product.ml
+++ b/src/plugins/eva/domains/domain_product.ml
@@ -121,7 +121,7 @@ module Make
       (Right.reduce_further right expr value)
 
   let build_context (left, right) =
-    let open Eval.Bottom.Operators in
+    let open Lattice_bounds.Bottom.Operators in
     let* left  = Left.build_context  left  in
     let* right = Right.build_context right in
     Context.narrow left right