X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=chase-lev-deque-bugfix%2Ftestcase4.c;fp=chase-lev-deque-bugfix%2Ftestcase4.c;h=5b0dfb4884e3fd65fed3a83c3ffb14d9d42b2dcf;hb=21fb4500f1589722d7f2228b02e049653c118aea;hp=93eaa526dc72e34902994ccd9240a8d37ea02f5a;hpb=daa4a42fe811c9f8c81f55b7f995356a1c8b15a6;p=model-checker-benchmarks.git

diff --git a/chase-lev-deque-bugfix/testcase4.c b/chase-lev-deque-bugfix/testcase4.c
index 93eaa52..5b0dfb4 100644
--- a/chase-lev-deque-bugfix/testcase4.c
+++ b/chase-lev-deque-bugfix/testcase4.c
@@ -30,8 +30,8 @@ int user_main(int argc, char **argv)
 	push(q, 2);
 	push(q, 3);
 	//thrd_create(&t2, task, 0);
-	//a=take(q);
-	//c=take(q);
+	a=take(q);
+	c=take(q);
 	thrd_join(t1);
 	//thrd_join(t2);