X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=ms-queue%2Fmy_queue.h;h=edaf3ddd1a7f4d925908e67e3a9c2f807e39c39a;hb=faf43225ff0d1a0091f5e489714de0c26d24d02f;hp=c92e420657c1847ec3575156be8e6a7b133e2dae;hpb=d3c94c5b4370fc71d1c12272af29b3a95178f4bd;p=model-checker-benchmarks.git

diff --git a/ms-queue/my_queue.h b/ms-queue/my_queue.h
index c92e420..edaf3dd 100644
--- a/ms-queue/my_queue.h
+++ b/ms-queue/my_queue.h
@@ -27,5 +27,5 @@ typedef struct {
 
 void init_queue(queue_t *q, int num_threads);
 void enqueue(queue_t *q, unsigned int val);
-unsigned int dequeue(queue_t *q);
+bool dequeue(queue_t *q, unsigned int *retVal);
 int get_thread_num();