From a254159dd800f2e90536f60b53d001e43b85c03e Mon Sep 17 00:00:00 2001 From: weiyu Date: Tue, 10 Dec 2019 15:27:07 -0800 Subject: [PATCH] Silence -Wreorder --- execution.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/execution.cc b/execution.cc index 7b846122..69b3b276 100644 --- a/execution.cc +++ b/execution.cc @@ -51,10 +51,10 @@ ModelExecution::ModelExecution(ModelChecker *m, Scheduler *scheduler) : model(m), params(NULL), scheduler(scheduler), - action_trace(), thread_map(2), /* We'll always need at least 2 threads */ pthread_map(0), pthread_counter(1), + action_trace(), obj_map(), condvar_waiters_map(), obj_thrd_map(), -- 2.34.1