Update generic specialization map cont. (to be squashed)

svorenova · svorenova · commit 77a2f9a97022 · 2018-04-16T12:05:40.000+01:00
diff --git a/src/java_bytecode/java_object_factory.cpp b/src/java_bytecode/java_object_factory.cpp
@@ -766,7 +766,7 @@ void java_object_factoryt::gen_nondet_pointer_init(
   // for java types, technical debt TG-2707
   if(!equal_java_types(replacement_pointer_type, pointer_type))
   {
-    // update generic_parameter_specialization_map if needed
+    // update generic_parameter_specialization_map for the new pointer
     generic_parameter_specialization_map_keyst
       generic_parameter_specialization_map_keys(
       generic_parameter_specialization_map);

Original file line number	Diff line number	Diff line change
`@@ -766,7 +766,7 @@ void java_object_factoryt::gen_nondet_pointer_init(`
`766`	`766`	`// for java types, technical debt TG-2707`
`767`	`767`	`if(!equal_java_types(replacement_pointer_type, pointer_type))`
`768`	`768`	`{`
`769`		`- // update generic_parameter_specialization_map if needed`
	`769`	`+ // update generic_parameter_specialization_map for the new pointer`
`770`	`770`	`generic_parameter_specialization_map_keyst`
`771`	`771`	`generic_parameter_specialization_map_keys(`
`772`	`772`	`generic_parameter_specialization_map);`