diff --git a/misc/optlib2c b/misc/optlib2c index 4fb5038270..e58f387b8d 100755 --- a/misc/optlib2c +++ b/misc/optlib2c @@ -620,6 +620,11 @@ EOF if (defined $opts->{'selector'}) { print <{'paramdefs'}}) > 0) { + print <