Simplify return

NathanJPhillips · Jun 6, 2018 · 43b41a4 · 43b41a4
1 parent f6586ed
commit 43b41a4
Showing 1 changed file with 1 addition and 9 deletions.
diff --git a/jbmc/src/java_bytecode/select_pointer_type.cpp b/jbmc/src/java_bytecode/select_pointer_type.cpp
@@ -89,15 +89,7 @@ pointer_typet select_pointer_typet::specialize_generics(
     {
       optionalt<pointer_typet> result = get_recursively_instantiated_type(
         parameter_name, generic_parameter_specialization_map);
-      if(result.has_value())
-      {
-        return result.value();
-      }
-      else
-      {
-        // return pointer type of generic parameter bound
-        return pointer_type;
-      }
+      return result.has_value() ? result.value() : pointer_type;
     }
 
     // generic parameters can be adopted from outer classes or superclasses so