Return input pointer_type in case of no instantiation

NathanJPhillips · Jun 6, 2018 · 8b4920e · 8b4920e
1 parent 05ff12d
commit 8b4920e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jbmc/src/java_bytecode/select_pointer_type.cpp b/jbmc/src/java_bytecode/select_pointer_type.cpp
@@ -96,7 +96,7 @@ pointer_typet select_pointer_typet::specialize_generics(
       else
       {
         // return pointer type of generic parameter bound
-        return java_reference_type(parameter.subtype());
+        return pointer_type;
       }
     }