diff --git a/src/plugins/value/utils/widen.ml b/src/plugins/value/utils/widen.ml
index dd9dd0034372beb141361f63ec1b83106ff9622b..8abed9a90a2ba9c8d5c5cecb07bd75109891525a 100644
--- a/src/plugins/value/utils/widen.ml
+++ b/src/plugins/value/utils/widen.ml
@@ -176,7 +176,7 @@ class pragma_widen_visitor init_widen_hints init_enclosing_loops = object(self)
       let rec find_candidates expr =
         match expr.enode with
         | BinOp (Mod, _, modu, _typ) -> [modu]
-        | BinOp (LAnd, e1, e2, _typ) -> [e1; e2]
+        | BinOp (BAnd, e1, e2, _typ) -> [e1; e2]
         | CastE (_, expr)
         | Info (expr, _) -> find_candidates expr
         | _ -> []