regen/embed.pl: Remove duplicate push

khwilliamson · khwilliamson · commit c2ff7e87a0d8 · 2025-09-24T21:37:56.000-06:00
This got duplicated in recent rebasing
diff --git a/regen/embed.pl b/regen/embed.pl
@@ -321,8 +321,6 @@ sub generate_proto_h {
                         warn "$func: $arg should not have NZ\n" if $nz;
                     }
 
-                    push( @nonnull, $n ) if $nn;
-
                     # Make sure each arg has at least a type and a var name.
                     # An arg of "int" is valid C, but want it to be "int foo".
                     my $argtype = ( $arg =~ m/^(\w+(?:\s*\*+)?)/ )[0];

Original file line number	Diff line number	Diff line change
`@@ -321,8 +321,6 @@ sub generate_proto_h {`
`321`	`321`	`warn "$func: $arg should not have NZ\n" if $nz;`
`322`	`322`	`}`
`323`	`323`
`324`		`- push( @nonnull, $n ) if $nn;`
`325`		`-`
`326`	`324`	`# Make sure each arg has at least a type and a var name.`
`327`	`325`	`# An arg of "int" is valid C, but want it to be "int foo".`
`328`	`326`	`my $argtype = ( $arg =~ m/^(\w+(?:\s\+)?)/ )[0];`