fixup! Simplify boolbvt::set_to

romainbrenguier · romainbrenguier · commit ab8257a74d5a · 2018-04-06T14:48:21.000+01:00
diff --git a/src/solvers/flattening/boolbv.cpp b/src/solvers/flattening/boolbv.cpp
@@ -636,7 +636,7 @@ void boolbvt::set_to(const exprt &expr, bool value)
   const auto equal_expr = expr_try_dynamic_cast<equal_exprt>(expr);
   if(value && equal_expr && !boolbv_set_equality_to_true(*equal_expr))
     return;
-  return SUB::set_to(expr, value);
+  SUB::set_to(expr, value);
 }
 
 exprt boolbvt::make_bv_expr(const typet &type, const bvt &bv)

Original file line number	Diff line number	Diff line change
`@@ -636,7 +636,7 @@ void boolbvt::set_to(const exprt &expr, bool value)`
`636`	`636`	`const auto equal_expr = expr_try_dynamic_cast<equal_exprt>(expr);`
`637`	`637`	`if(value && equal_expr && !boolbv_set_equality_to_true(*equal_expr))`
`638`	`638`	`return;`
`639`		`- return SUB::set_to(expr, value);`
	`639`	`+ SUB::set_to(expr, value);`
`640`	`640`	`}`
`641`	`641`
`642`	`642`	`exprt boolbvt::make_bv_expr(const typet &type, const bvt &bv)`