diff --git a/util/paramcheck.pl b/util/paramcheck.pl index 7a07292e..83d30dad 100755 --- a/util/paramcheck.pl +++ b/util/paramcheck.pl @@ -149,7 +149,7 @@ sub emit_no_corresponding_cmds } local $" = "\n"; - print <