fix

2012-06-30 19:35:22 +00:00
parent 8aa32b5159
commit ba71bdc845
1 changed files with 1 additions and 1 deletions
--- 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);
      }