Mercurial > hg > Gears > GearsAgda
diff src/parallel_execution/generate_stub.pl @ 422:d839c9cb7c83
fix
author | mir3636 |
---|---|
date | Fri, 06 Oct 2017 15:41:13 +0900 |
parents | a74bec89c198 |
children | 3c6af75b13d4 |
line wrap: on
line diff
--- a/src/parallel_execution/generate_stub.pl Fri Oct 06 14:42:32 2017 +0900 +++ b/src/parallel_execution/generate_stub.pl Fri Oct 06 15:41:13 2017 +0900 @@ -518,6 +518,7 @@ # gather type name and type } elsif ($inMain) { if (/^(.*)goto start_code\(main_context\);/) { + print $fd $_; next; } elsif (/^(.*)goto (\w+)\((.*)\);/) { my $prev = $1;