Merge pull request #9026 from tautschnig/remove-dead-if0

Remove dead #if 0 block in boolbv_mod.cpp

Author: kroening

src/solvers/flattening/boolbv_mod.cpp

@@ -11,13 +11,6 @@ Author: Daniel Kroening, kroening@kroening.com
 
 bvt boolbvt::convert_mod(const mod_exprt &expr)
 {
-  #if 0
-  // TODO
-  if(expr.type().id()==ID_floatbv)
-  {
-  }
-  #endif
-
   if(expr.type().id()!=ID_unsignedbv &&
      expr.type().id()!=ID_signedbv)
     return conversion_failed(expr);