From: Brian Demsky <bdemsky@uci.edu>
Date: Thu, 12 Dec 2019 05:55:36 +0000 (-0800)
Subject: Fix warning
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=6ff4cc0d650d6cd126b4ad57692552ab054f76c4;p=c11tester.git

Fix warning
---

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 *> thread_map;
 	SnapVector<Thread *> 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.