diff --git a/src/constraint_solver/alldiff_cst.cc b/src/constraint_solver/alldiff_cst.cc
index 1807ecc109..6e99f8799a 100644
--- a/src/constraint_solver/alldiff_cst.cc
+++ b/src/constraint_solver/alldiff_cst.cc
@@ -188,9 +188,9 @@ class RangeBipartiteMatching {
   bool Propagate() {
     SortArray();
 
-    bool modified = PropagateMin();
-    modified |= PropagateMax();
-    return modified;
+    const bool modified1 = PropagateMin();
+    const bool modified2 = PropagateMax();
+    return modified1 | modified2;
   }
 
   int64 Min(int index) const {