projects
/
model-checker-benchmarks.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
save fixed ms-queue
[model-checker-benchmarks.git]
/
ms-queue
/
my_queue.h
diff --git
a/ms-queue/my_queue.h
b/ms-queue/my_queue.h
index c92e420657c1847ec3575156be8e6a7b133e2dae..edaf3ddd1a7f4d925908e67e3a9c2f807e39c39a 100644
(file)
--- 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();