Avoid repeating check that will be done in called function

Author: NathanJPhillips

jbmc/src/java_bytecode/select_pointer_type.cpp

@@ -20,17 +20,8 @@ pointer_typet select_pointer_typet::convert_pointer_type(
     &generic_parameter_specialization_map,
   const namespacet &) const
 {
-  // if we have a map of generic parameters -> types and the pointer is
-  // a generic parameter, specialize it with concrete types
-  if(!generic_parameter_specialization_map.empty())
-  {
-    return specialize_generics(
-      pointer_type, generic_parameter_specialization_map);
-  }
-  else
-  {
-    return pointer_type;
-  }
+  return specialize_generics(
+    pointer_type, generic_parameter_specialization_map);
 }
 
 pointer_typet select_pointer_typet::specialize_generics(