diff options
Diffstat (limited to 'minimod.pl')
| -rw-r--r-- | minimod.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/minimod.pl b/minimod.pl index 82760ee63d..8efbd31ffc 100644 --- a/minimod.pl +++ b/minimod.pl @@ -59,7 +59,7 @@ sub writemain{ my($mname, $cname); ($mname = $pname) =~ s!/!::!g; ($cname = $pname) =~ s!/!__!g; - print "EXTERN_C void boot_${cname} _((CV* cv));\n"; + print "EXTERN_C void boot_${cname} (CV* cv);\n"; } my ($tail1,$tail2) = ( $tail =~ /\A(.*\n)(\s*\}.*)\Z/s ); |