X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=execution.h;h=421781272c0aa3ae8743bac1b2b85d23460102ff;hp=e25a72e9b697401b60dd5951aa7ef96cc0e390b6;hb=0fd64e09bb7a48d62eb724507f8716f1af4dc8d7;hpb=b8545842296c9419371b92ba0e790098d54c33cd

diff --git a/execution.h b/execution.h
index e25a72e9..42178127 100644
--- a/execution.h
+++ b/execution.h
@@ -132,15 +132,16 @@ 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. 
+	 * to a trace of all actions performed on the object.
 	 * Used only for SC fences, unlocks, & wait.
 	 */
 	HashTable<const void *, action_list_t *, uintptr_t, 2> obj_map;