Skip to content

Commit 5c57ebc

Browse files
author
thk123
committed
Don't have generic type variables as a comment
The symex_target_equation will merge two types who differ only in generic specialisation losing the specialisation information. This ensures that information is kept.
1 parent 0af8547 commit 5c57ebc

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/util/irep_ids.def

+1-1
Original file line numberDiff line numberDiff line change
@@ -654,7 +654,7 @@ IREP_ID_TWO(C_java_implicitly_generic_class_type, #java_implicitly_generic_class
654654
IREP_ID_TWO(C_java_generic_symbol, #java_generic_symbol)
655655
IREP_ID_TWO(generic_types, #generic_types)
656656
IREP_ID_TWO(implicit_generic_types, #implicit_generic_types)
657-
IREP_ID_TWO(type_variables, #type_variables)
657+
IREP_ID_ONE(type_variables)
658658
IREP_ID_TWO(java_lambda_method_handle_index, lambda_method_handle_index)
659659
IREP_ID_TWO(java_lambda_method_handles, lambda_method_handles)
660660
IREP_ID_ONE(havoc_object)

0 commit comments

Comments
 (0)