changes

[model-checker-benchmarks.git] / seqlock / seqlock.c

diff --git a/seqlock/seqlock.c b/seqlock/seqlock.c
index d2e33b896c848c054d5d1f44614af8c42c9bddaf..146239f960f0ada2536989233f8c9b4302e9f636 100644 (file)
--- a/seqlock/seqlock.c
+++ b/seqlock/seqlock.c
@@ -22,11 +22,11 @@ int user_main(int argc, char **argv) {
        lock = new seqlock_t();
 
        thrd_create(&t1, (thrd_start_t)&a, NULL);
-       thrd_create(&t2, (thrd_start_t)&b, NULL);
+       //thrd_create(&t2, (thrd_start_t)&b, NULL);
        thrd_create(&t3, (thrd_start_t)&c, NULL);
 
        thrd_join(t1);
-       thrd_join(t2);
+       //thrd_join(t2);
        thrd_join(t3);
        return 0;
 }