Change harness_function_symbol type constructor

Author: NlightNFotis

src/goto-harness/function_call_harness_generator.cpp

@@ -106,8 +106,7 @@ void function_call_harness_generatort::generate(
 
   harness_function_symbol.is_lvalue = true;
   harness_function_symbol.mode = function_found->mode;
-  harness_function_symbol.type =
-    code_typet{code_typet::parameterst{}, void_typet{}};
+  harness_function_symbol.type = code_typet{{}, void_typet{}};
   harness_function_symbol.value = function_body;
 
   symbol_table.insert(harness_function_symbol);