bug fixes

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index b20ad7d5ec23a1fe6c34a7dc2e61f3550467cf8e..d5fb194f633c890698cfd91ed08571614ad3956c 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -55,7 +55,7 @@ ModelExecution::ModelExecution(ModelChecker *m, Scheduler *scheduler, NodeStack
        action_trace(),
        thread_map(2),  /* We'll always need at least 2 threads */
        pthread_map(0),
-       pthread_counter(0),
+       pthread_counter(1),
        obj_map(),
        condvar_waiters_map(),
        obj_thrd_map(),