removed unneeded call to simplify_node in simplify_boolean

kroening · kroening · commit 27b0fda395ee · 2019-07-13T06:38:52.000-04:00
Follow-up from comment in #4872. The call is a no-op.
diff --git a/src/util/simplify_expr_boolean.cpp b/src/util/simplify_expr_boolean.cpp
@@ -40,7 +40,6 @@ simplify_exprt::resultt<> simplify_exprt::simplify_boolean(const exprt &expr)
     auto new_expr = expr;
     new_expr.id(ID_or);
     new_expr.op0() = boolean_negate(new_expr.op0());
-    simplify_node(new_expr.op0());
     simplify_node(new_expr);
     return std::move(new_expr);
   }

Original file line number	Diff line number	Diff line change
`@@ -40,7 +40,6 @@ simplify_exprt::resultt<> simplify_exprt::simplify_boolean(const exprt &expr)`
`40`	`40`	`auto new_expr = expr;`
`41`	`41`	`new_expr.id(ID_or);`
`42`	`42`	`new_expr.op0() = boolean_negate(new_expr.op0());`
`43`		`- simplify_node(new_expr.op0());`
`44`	`43`	`simplify_node(new_expr);`
`45`	`44`	`return std::move(new_expr);`
`46`	`45`	`}`