X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;fp=model.h;h=fd65c0503b0ecd32ff16536a601a12c5fb9fab68;hb=251ac4b4bf3a9f2d3cfacc1e6618200ca1c431ac;hp=03dafd11b1a0aa5493dcf8f1c62f549e788e7a74;hpb=7d107019dd0d32d0803fb802fc318a57101707a1;p=c11tester.git

diff --git a/model.h b/model.h
index 03dafd11..fd65c050 100644
--- a/model.h
+++ b/model.h
@@ -73,7 +73,6 @@ private:
 
 	unsigned int curr_thread_num;
 	Thread * chosen_thread;
-	bool thread_chosen;
 	bool break_execution;
 
 	void startRunExecution(Thread *old);