X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=treiber-stack%2Fmy_stack.h;h=ebb8baaaf2282035db0dec61228087959be0dea8;hp=8d4d789ef7da1fdbf3a506c24764e09906c29bfe;hb=HEAD;hpb=e326d381460902d927b8862149ce5382f8509bbd

diff --git a/treiber-stack/my_stack.h b/treiber-stack/my_stack.h
index 8d4d789..ebb8baa 100644
--- a/treiber-stack/my_stack.h
+++ b/treiber-stack/my_stack.h
@@ -27,9 +27,9 @@ typedef struct node {
 typedef struct {
 	pointer_t top;
 	node_t nodes[MAX_NODES + 1];
-} stack_t;
+} mystack_t;
 
-void init_stack(stack_t *s, int num_threads);
-void push(stack_t *s, unsigned int val);
-unsigned int pop(stack_t *s);
+void init_stack(mystack_t *s, int num_threads);
+void push(mystack_t *s, unsigned int val);
+unsigned int pop(mystack_t *s);
 int get_thread_num();