X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=12aeebcce1df645950ce702d07c14f459da15de6;hb=563d0da13f38cf55a88673c2a712b797d4938df1;hp=44ed858fe85faa363d934891faefeae8d321af6f;hpb=db17cfb8915ef5b6b2977360c05a92b1b7e01a3e;p=c11tester.git

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