mirror of
https://github.com/jlengrand/picocli.git
synced 2026-03-10 08:41:17 +00:00
Fix old java diamond compile error
This commit is contained in:
committed by
Remko Popma
parent
cc58818f60
commit
92a262b39d
@@ -464,7 +464,7 @@ public class ManPageGenerator {
|
||||
}
|
||||
|
||||
static void genPositionalArgs(PrintWriter pw, CommandSpec spec) {
|
||||
List<PositionalParamSpec> positionals = new ArrayList<>(spec.positionalParameters());
|
||||
List<PositionalParamSpec> positionals = new ArrayList<PositionalParamSpec>(spec.positionalParameters());
|
||||
// remove hidden params
|
||||
for (Iterator<PositionalParamSpec> iter = positionals.iterator(); iter.hasNext();) {
|
||||
if (iter.next().hidden()) { iter.remove(); }
|
||||
|
||||
Reference in New Issue
Block a user