fix compile errors on OS X
[model-checker-benchmarks.git] / treiber-stack / main.c
index d27242e..6342d84 100644 (file)
@@ -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;