changes to the spec of deque

[cdsspec-compiler.git] / benchmark / chase-lev-deque-bugfix / main.c

diff --git a/benchmark/chase-lev-deque-bugfix/main.c b/benchmark/chase-lev-deque-bugfix/main.c
index 6be90a5f7ffe73fc49f731ba6fd80cdf9f48e1f8..fd67b60ec7a02ebf39244821030f541699260737 100644 (file)
--- a/benchmark/chase-lev-deque-bugfix/main.c
+++ b/benchmark/chase-lev-deque-bugfix/main.c
@@ -14,13 +14,18 @@ int b;
 int c;
 
 static void task(void * param) {
-       //a=steal(q);
        a=steal(q);
        if (a == ABORT) {
                printf("Steal NULL\n");
        } else {
                printf("Steal %d\n", a);
        }
+       int x=steal(q);
+       if (x == ABORT) {
+               printf("Steal NULL\n");
+       } else {
+               printf("Steal %d\n", x);
+       }
 }
 
 int user_main(int argc, char **argv)