diff --git a/src/arithmetic/bound_deducer.cc b/src/arithmetic/bound_deducer.cc
index 2aaf4fec6f88..9f24d8ac883e 100644
--- a/src/arithmetic/bound_deducer.cc
+++ b/src/arithmetic/bound_deducer.cc
@@ -198,8 +198,8 @@ void BoundDeducer::Transform() {
     } else {
       // a < b -> a <= b - 1
       is_greater = false;
-      expr_      = op->a;
-      result     = op->b - 1;
+      expr_ = op->a;
+      result = op->b - 1;
     }
   } else if (const LE* op = expr_.as<LE>()) {
     if (GetPath(target_, op->a).empty()) {