Skip to content

Commit

Permalink
removed extra spaces
Browse files Browse the repository at this point in the history
  • Loading branch information
derisavi committed Apr 5, 2019
1 parent b529769 commit fab5ea1
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/arithmetic/bound_deducer.cc
Original file line number Diff line number Diff line change
Expand Up @@ -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()) {
Expand Down

0 comments on commit fab5ea1

Please sign in to comment.