Skip to content

Commit 6b9815c

Browse files
committed
removed extra spaces
1 parent 1da8792 commit 6b9815c

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/arithmetic/bound_deducer.cc

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -198,8 +198,8 @@ void BoundDeducer::Transform() {
198198
} else {
199199
// a < b -> a <= b - 1
200200
is_greater = false;
201-
expr_ = op->a;
202-
result = op->b - 1;
201+
expr_ = op->a;
202+
result = op->b - 1;
203203
}
204204
} else if (const LE* op = expr_.as<LE>()) {
205205
if (GetPath(target_, op->a).empty()) {

0 commit comments

Comments
 (0)