Fixed slight bug with TVEqualityWithTwoCVTransform

17zhangw · 17zhangw · commit df63fd8619d3 · 2019-05-04T15:39:30.000-04:00
diff --git a/src/optimizer/rule_rewrite.cpp b/src/optimizer/rule_rewrite.cpp
@@ -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

Original file line number	Diff line number	Diff line change
`@@ -387,6 +387,7 @@ void TransitiveClosureConstantTransform::Transform(std::shared_ptr<AbsExpr_Expre`
`387`	`387`	`} else {`
`388`	`388`	`// At this stage, we have knowledge that A.B = E.F`
`389`	`389`	`new_right_eq->PushChild(r_tv_l);`
	`390`	`+ new_right_eq->PushChild(right_val_copy);`
`390`	`391`	`}`
`391`	`392`
`392`	`393`	`// Create new root expression`