Mercurial > hg > Gears > GearsAgda
changeset 193:af4dec989aa1
fixes
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 16 Dec 2016 17:56:39 +0900 |
parents | 39d87ba6039d |
children | 081607dcf893 |
files | src/parallel_execution/dependency.c src/parallel_execution/twice.c |
diffstat | 2 files changed, 2 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/src/parallel_execution/dependency.c Fri Dec 16 16:38:31 2016 +0900 +++ b/src/parallel_execution/dependency.c Fri Dec 16 17:56:39 2016 +0900 @@ -10,7 +10,7 @@ __code waitFor1(struct Context* context, struct Task* master, struct Task* slave, struct Element* element) { element->data = (union Data *)slave; // enqueue waitMe - goto meta_waitFor(context, /*master->waitMe*/ NULL , /*PutQueue1*/ waitFor1); + goto meta_waitFor(context, /*master->waitMe*/ NULL , /*PutQueue1*/ C_waitFor1); } __code waitFor1_stub(struct Context* context) {
--- a/src/parallel_execution/twice.c Fri Dec 16 16:38:31 2016 +0900 +++ b/src/parallel_execution/twice.c Fri Dec 16 17:56:39 2016 +0900 @@ -10,7 +10,7 @@ array[i+index*prefix] = array[i+index*prefix]*2; loopCounter->i++; - goto meta(context, twice); + goto meta(context, C_twice); } loopCounter->i = 0;