Skip to content
This repository has been archived by the owner on Sep 27, 2019. It is now read-only.

Commit

Permalink
Fixed slight bug with TVEqualityWithTwoCVTransform
Browse files Browse the repository at this point in the history
  • Loading branch information
17zhangw committed May 4, 2019
1 parent 929e9c1 commit df63fd8
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/optimizer/rule_rewrite.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -387,6 +387,7 @@ void TransitiveClosureConstantTransform::Transform(std::shared_ptr<AbsExpr_Expre
} else {
// At this stage, we have knowledge that A.B = E.F
new_right_eq->PushChild(r_tv_l);
new_right_eq->PushChild(right_val_copy);
}

// Create new root expression
Expand Down

0 comments on commit df63fd8

Please sign in to comment.