Silence -Wreorder

diff --git a/execution.cc b/execution.cc
index 7b8461226a8860d60a0311c2fa2538607c9b1363..69b3b2765b845eb0950f75ec3226fc6c62538671 100644 (file)
--- 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(),