From 6ff4cc0d650d6cd126b4ad57692552ab054f76c4 Mon Sep 17 00:00:00 2001 From: Brian Demsky Date: Wed, 11 Dec 2019 21:55:36 -0800 Subject: [PATCH] Fix warning --- execution.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/execution.h b/execution.h index d9a994f0..2dc3333b 100644 --- a/execution.h +++ b/execution.h @@ -135,12 +135,13 @@ private: /** The scheduler to use: tracks the running/ready Threads */ Scheduler * const scheduler; + action_list_t action_trace; + SnapVector thread_map; SnapVector pthread_map; uint32_t pthread_counter; - action_list_t action_trace; /** Per-object list of actions. Maps an object (i.e., memory location) * to a trace of all actions performed on the object. -- 2.34.1