# HG changeset patch
# User anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
# Date 1576722803 -32400
# Node ID 2c63276c6b04e909e43d71bbd37697e186fc4701
# Parent  343f8f3c8f18a9ec0f06c7bbf2b0a374a77293b3
tweak

diff -r 343f8f3c8f18 -r 2c63276c6b04 src/sys_pipe_read.cbc
--- a/src/sys_pipe_read.cbc	Thu Dec 19 11:32:40 2019 +0900
+++ b/src/sys_pipe_read.cbc	Thu Dec 19 11:33:23 2019 +0900
@@ -33,7 +33,7 @@
     if (p->nread == p->nwrite && p->writeopen){
         if(proc->killed){
             release(&p->lock);
-            goto next();
+            goto err();
         }
         goto cbc_sleep(&p->nread, &p->lock, cbc_piperead1);
     }
@@ -54,9 +54,6 @@
   goto next(...);
 }
 
-__code nextPipeRead(...) {
-
-}
 
 __code readPipeRead(struct PipeRead* sys_read, union Data* impl, char* addr, int n, __code next(int ret,...)) {