diff --git a/src/constraint_solver/table.cc b/src/constraint_solver/table.cc index 5eb3f4d366..7e24b599c5 100644 --- a/src/constraint_solver/table.cc +++ b/src/constraint_solver/table.cc @@ -748,9 +748,8 @@ class CompactPositiveTableConstraint : public BasePositiveTableConstraint { void OrTempMask(int var_index, int64 value_index) { const std::vector& mask = masks_[var_index][value_index]; if (!mask.empty()) { - const int mask_span = - mask_ends_[var_index][value_index] - - mask_starts_[var_index][value_index] + 1; + const int mask_span = mask_ends_[var_index][value_index] - + mask_starts_[var_index][value_index] + 1; if (active_tuples_.ActiveWordSize() < mask_span) { for (int i : active_tuples_.active_words()) { temp_mask_[i] |= mask[i];