fix compile errors on OS X

[model-checker-benchmarks.git] / treiber-stack / main.c

diff --git a/treiber-stack/main.c b/treiber-stack/main.c
index d27242e..6342d84 100644 (file)
--- a/treiber-stack/main.c
+++ b/treiber-stack/main.c
@@ -6,7 +6,7 @@
 #include "model-assert.h"
 
 static int procs = 4;
-static stack_t *stack;
+static mystack_t *stack;
 static thrd_t *threads;
 static int num_threads;