From 1f5d949b85bc06358f36ac727b247b3c7b3008ca Mon Sep 17 00:00:00 2001 From: ANSHUMAN TRIPATHY Date: Wed, 18 Mar 2020 00:31:55 +0530 Subject: [PATCH] [2] Lint error fixed --- src/te/schedule/message_passing.cc | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/te/schedule/message_passing.cc b/src/te/schedule/message_passing.cc index 695ed0128a612..d2d8f0be7f20c 100644 --- a/src/te/schedule/message_passing.cc +++ b/src/te/schedule/message_passing.cc @@ -558,8 +558,9 @@ void PassUpBoundCheck(const Stage& s, bool IsRangeSame(const Range input_1, const Range input_2) { arith::Analyzer analyzer; - if(input_1.same_as(input_2)) return true; - if ( !analyzer.CanProve(input_1->min == input_2->min) || !analyzer.CanProve(input_1->extent == input_2->extent)) { + if (input_1.same_as(input_2)) return true; + if ( !analyzer.CanProve(input_1->min == input_2->min) + || !analyzer.CanProve(input_1->extent == input_2->extent)) { return false; } return true;