# HG changeset patch
# User mir3636
# Date 1482143154 -32400
# Node ID 90fa6f8246ca4b19ab027f206c53d61d809d2307
# Parent  207aff30ed3498ebb87ca8c59a7cd11357001181
fix

diff -r 207aff30ed34 -r 90fa6f8246ca src/parallel_execution/generate_stub.pl
--- a/src/parallel_execution/generate_stub.pl	Mon Dec 19 19:00:38 2016 +0900
+++ b/src/parallel_execution/generate_stub.pl	Mon Dec 19 19:25:54 2016 +0900
@@ -37,6 +37,7 @@
 	    $tmp = $1 . "\n";
 	    if (/{/) {
 	            $tmp = "{" . $';
+	            $tmp =~ s/;$//;
 	    }
 	    $var{$name} .= $tmp;
 	    $tmp = $`;