Merge pull request #9027 from tautschnig/incr-smt-remove-dead-if0

Incremental SMT2: Remove unnecessary #if 0 for floating-point modulo

Author: kroening

src/solvers/smt2_incremental/convert_expr_to_smt.cpp

@@ -1658,12 +1658,6 @@ static smt_termt dispatch_expr_to_smt_conversion(
   {
     return convert_expr_to_smt(*multiply, converted);
   }
-#if 0
-  else if(expr.id() == ID_floatbv_rem)
-  {
-    convert_floatbv_rem(to_binary_expr(expr));
-  }
-#endif
   if(const auto address_of = expr_try_dynamic_cast<address_of_exprt>(expr))
   {
     return convert_expr_to_smt(*address_of, converted, object_map);