X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=a3a7bc0ee8f22a059a1b9572d82a2f266f9e2a04;hb=32442ab0e9d10b0a8a6a89ae04a3fcd80729da77;hp=82d9bc8c4fc9853f15ed3b2d2bef7e6e1f27cf83;hpb=7594d7ae8eda38fbb5a3ac3d6f33fffbb365b7bd;p=c11tester.git

diff --git a/model.h b/model.h
index 82d9bc8c..a3a7bc0e 100644
--- a/model.h
+++ b/model.h
@@ -76,9 +76,9 @@ private:
 
 	/** The scheduler to use: tracks the running/ready Threads */
 	Scheduler * const scheduler;
+	ModelHistory * history;
 	ModelExecution *execution;
 	Thread * init_thread;
-	ModelHistory *history;
 
 	int execution_number;