X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;fp=model.h;h=59ca72838adf40eb0649b33e54adeb4adf243869;hp=12aeebcce1df645950ce702d07c14f459da15de6;hb=be8cc021ead92563f9ed55a922168d4a40da907f;hpb=563d0da13f38cf55a88673c2a712b797d4938df1

diff --git a/model.h b/model.h
index 12aeebcc..59ca7283 100644
--- a/model.h
+++ b/model.h
@@ -80,7 +80,7 @@ private:
 	void consumeAction();
 	void chooseThread(ModelAction *act, Thread *thr);
 	Thread * getNextThread(Thread *old);
-	void handleChosenThread(Thread *old);
+	bool handleChosenThread(Thread *old);
 
 	modelclock_t checkfree;