From ba71bdc845727e9e9b361f9dda96be089de65ddf Mon Sep 17 00:00:00 2001
From: "lperron@google.com"
 <lperron@google.com@59fed7e4-672f-1a80-1451-5ac2ff6d83f1>
Date: Sat, 30 Jun 2012 19:35:22 +0000
Subject: [PATCH] fix

---
 src/constraint_solver/expr_array.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
       }