From df63fd8619d3539238e686d0c7af351f2a3c0f25 Mon Sep 17 00:00:00 2001
From: William Zhang <17zhangw@gmail.com>
Date: Sat, 4 May 2019 15:38:37 -0400
Subject: [PATCH] Fixed slight bug with TVEqualityWithTwoCVTransform

---
 src/optimizer/rule_rewrite.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/optimizer/rule_rewrite.cpp b/src/optimizer/rule_rewrite.cpp
index 95e2ba26fce..77f0e2aed6f 100644
--- 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