Skip to content

Commit 1bd95c0

Browse files
thk123svorenova
thk123
authored and
svorenova
committed
Classes that aren't generic but inherit from a generic type have a signature
This is a lazy fix to stop trying to create java_generics_class_typet when the signature doesn't have the correct format
1 parent b2f57e8 commit 1bd95c0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/java_bytecode/java_bytecode_convert_class.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -94,7 +94,7 @@ void java_bytecode_convert_classt::convert(const classt &c)
9494
}
9595

9696
java_class_typet class_type;
97-
if(c.signature.has_value())
97+
if(c.signature.has_value() && c.signature.value()[0]=='<')
9898
{
9999
java_generics_class_typet generic_class_type;
100100
#ifdef DEBUG

0 commit comments

Comments
 (0)