spec changes to 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 fd67b60ec7a02ebf39244821030f541699260737..87e5b9b8ca1e4170955e2d42254a47c301291e26 100644 (file)
--- a/benchmark/chase-lev-deque-bugfix/main.c
+++ b/benchmark/chase-lev-deque-bugfix/main.c
@@ -20,12 +20,6 @@ static void task(void * param) {
        } 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)