From 6e680c01594092e9734ab378162a4904f0027dc0 Mon Sep 17 00:00:00 2001
From: Houtan Bastani <houtan@dynare.org>
Date: Tue, 29 Jan 2019 17:52:19 +0100
Subject: [PATCH] simplify in accordance with
 02ae0af3e51c9d14cdc9e0eb9d7ee92c8bc71391

---
 src/ExprNode.cc | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/ExprNode.cc b/src/ExprNode.cc
index 97300e1b..ee0d4ed9 100644
--- a/src/ExprNode.cc
+++ b/src/ExprNode.cc
@@ -5849,10 +5849,7 @@ BinaryOpNode::replaceVarsInEquation(map<VariableNode *, NumConstNode *> &table)
 {
   if (op_code == BinaryOpcode::equal)
     for (auto & it : table)
-      if ((dynamic_cast<VariableNode *>(it.first) == arg1
-           && dynamic_cast<NumConstNode *>(it.second) == arg2)
-          || (dynamic_cast<VariableNode *>(it.first) == arg2
-              && dynamic_cast<NumConstNode *>(it.second) == arg1))
+      if ((it.first == arg1 && it.second == arg2) || (it.first == arg2 && it.second == arg1))
         return const_cast<BinaryOpNode *>(this);
   expr_t arg1subst = arg1->replaceVarsInEquation(table);
   expr_t arg2subst = arg2->replaceVarsInEquation(table);