# HG changeset patch
# User Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
# Date 1390489805 -32400
# Node ID 6ec369858a5027f1cf6aecda76ea44319314a5ab
# Parent  e0c89847fb781a92968409de5b8ee06dc5e8231b
aua

diff -r e0c89847fb78 -r 6ec369858a50 goal.c
--- a/goal.c	Sun Jan 19 02:52:44 2014 +0900
+++ b/goal.c	Fri Jan 24 00:10:05 2014 +0900
@@ -27,7 +27,7 @@
   printf("main1 : main1 entry\n");
   if (setjmp(__environment.env)){
     printf("main1 : main1 return\n");
-    return *((int *)__environment.ret_p);
+    return retval;
   }
   __return = return1;
   goto code1(30,__return,&__environment);