Correct signature of convert_exprt_to_string_exprt_unit_test

Author: romainbrenguier

src/java_bytecode/java_string_library_preprocess.h

@@ -176,12 +176,13 @@ class java_string_library_preprocesst:public messaget
     symbol_tablet &symbol_table,
     code_blockt &init_code);
 
-  friend exprt convert_exprt_to_string_exprt_unit_test(
-      java_string_library_preprocesst &preprocess,
-      const exprt &deref,
-      const source_locationt &loc,
-      symbol_tablet &symbol_table,
-      code_blockt &init_code);
+  // Friending this function for unit testing convert_exprt_to_string_exprt
+  friend refined_string_exprt convert_exprt_to_string_exprt_unit_test(
+    java_string_library_preprocesst &preprocess,
+    const exprt &deref,
+    const source_locationt &loc,
+    symbol_tablet &symbol_table,
+    code_blockt &init_code);
 
   refined_string_exprt convert_exprt_to_string_exprt(
     const exprt &deref,