diff --git a/src/constraint_solver/expr_array.cc b/src/constraint_solver/expr_array.cc
index dc7cb94c16..be4f071416 100644
--- a/src/constraint_solver/expr_array.cc
+++ b/src/constraint_solver/expr_array.cc
@@ -1003,7 +1003,7 @@ class ArrayBoolOrEq : public CastConstraint {
 
   virtual void InitialPropagate() {
     target_var_->SetRange(0, 1);
-    if (target_var_->Min() == 0) {
+    if (target_var_->Max() == 0) {
       for (int i = 0; i < vars_.size(); ++i) {
         vars_[i]->SetMax(0);
       }