X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=treiber-stack%2Fmain.c;h=6342d84cbad8ef2cf8b1627ac9a3870e7e8e110d;hp=d27242eda29c3be259099f53aca97dd3e7e2fe17;hb=98c3f7ebd9ddbe5a64fd9c6b6408d4ad3f7b41d8;hpb=e326d381460902d927b8862149ce5382f8509bbd;ds=sidebyside

diff --git a/treiber-stack/main.c b/treiber-stack/main.c
index d27242e..6342d84 100644
--- 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;