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 d27242eda29c3be259099f53aca97dd3e7e2fe17..6342d84cbad8ef2cf8b1627ac9a3870e7e8e110d 100644 (file)
--- a/treiber-stack/main.c
+++ b/treiber-stack/main.c
@@ -6,7 +6,7 @@
 #include "model-assert.h"
 
 static int procs = 4;
 #include "model-assert.h"
 
 static int procs = 4;

-static stack_t *stack;
+static mystack_t *stack;

 static thrd_t *threads;
 static int num_threads;
 
 static thrd_t *threads;
 static int num_threads;