X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=treiber-stack%2Fmy_stack.c;h=f65417df89f90f64b8b07ad70e866f7341ef99a0;hb=98c3f7ebd9ddbe5a64fd9c6b6408d4ad3f7b41d8;hp=5f3cc89300d9b621e91c59227633af8929a64cf3;hpb=490296b2bd8de032f9424261dfdcf644d82113ab;p=model-checker-benchmarks.git

diff --git a/treiber-stack/my_stack.c b/treiber-stack/my_stack.c
index 5f3cc89..f65417d 100644
--- a/treiber-stack/my_stack.c
+++ b/treiber-stack/my_stack.c
@@ -56,7 +56,7 @@ static void reclaim(unsigned int node)
 	MODEL_ASSERT(0);
 }
 
-void init_stack(stack_t *s, int num_threads)
+void init_stack(mystack_t *s, int num_threads)
 {
 	int i, j;
 
@@ -74,7 +74,7 @@ void init_stack(stack_t *s, int num_threads)
 	atomic_init(&s->top, MAKE_POINTER(0, 0));
 }
 
-void push(stack_t *s, unsigned int val) {
+void push(mystack_t *s, unsigned int val) {
 	unsigned int nodeIdx = new_node();
 	node_t *node = &s->nodes[nodeIdx];
 	node->value = val;
@@ -95,7 +95,7 @@ void push(stack_t *s, unsigned int val) {
 	} 
 }
 
-unsigned int pop(stack_t *s) 
+unsigned int pop(mystack_t *s) 
 {
 	pointer oldTop, newTop, next;
 	node_t *node;