fix documentation of cpp_typecheckt::typecheck_function_call_arguments

kroening · kroening · commit 457fe28c054d · 2018-10-14T19:15:21.000+01:00
diff --git a/src/cpp/cpp_typecheck_expr.cpp b/src/cpp/cpp_typecheck_expr.cpp
@@ -2251,8 +2251,7 @@ void cpp_typecheckt::typecheck_side_effect_function_call(
     expr.swap(tmp);
 }
 
-/// \param type:checked arguments, type-checked function
-/// \return type-adjusted function arguments
+/// \param expr: function call whose arguments need to be checked
 void cpp_typecheckt::typecheck_function_call_arguments(
   side_effect_expr_function_callt &expr)
 {

Original file line number	Diff line number	Diff line change
`@@ -2251,8 +2251,7 @@ void cpp_typecheckt::typecheck_side_effect_function_call(`
`2251`	`2251`	`expr.swap(tmp);`
`2252`	`2252`	`}`
`2253`	`2253`
`2254`		`-/// \param type:checked arguments, type-checked function`
`2255`		`-/// \return type-adjusted function arguments`
	`2254`	`+/// \param expr: function call whose arguments need to be checked`
`2256`	`2255`	`void cpp_typecheckt::typecheck_function_call_arguments(`
`2257`	`2256`	`side_effect_expr_function_callt &expr)`
`2258`	`2257`	`{`