regen/embed.pl: Remove duplicate push

khwilliamson · khwilliamson · commit a0e7381af7a7 · 2025-08-24T12:26:16.000-06:00
This got duplicated in recent rebasing
diff --git a/regen/embed.pl b/regen/embed.pl
@@ -293,8 +293,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
`@@ -293,8 +293,6 @@ sub generate_proto_h {`
`293`	`293`	`warn "$func: $arg should not have NZ\n" if $nz;`
`294`	`294`	`}`
`295`	`295`
`296`		`- push( @nonnull, $n ) if $nn;`
`297`		`-`
`298`	`296`	`# Make sure each arg has at least a type and a var name.`
`299`	`297`	`# An arg of "int" is valid C, but want it to be "int foo".`
`300`	`298`	`my $argtype = ( $arg =~ m/^(\w+(?:\s\+)?)/ )[0];`