X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=newfuzzer.h;h=26fab3f6c2fff4e0ed995e4d68a8dd7733ecb5f5;hb=f269c2a1c390e82ae189bc690a750601f874283f;hp=45a7e8bbe91f44f867e22958502491ffb64b4fa6;hpb=f4c344cc8e76cd1b8271329f8827be2b4c503a6a;p=c11tester.git

diff --git a/newfuzzer.h b/newfuzzer.h
index 45a7e8bb..26fab3f6 100644
--- a/newfuzzer.h
+++ b/newfuzzer.h
@@ -29,7 +29,7 @@ public:
 	void notify_paused_thread(Thread * thread);
 
 	Thread * selectThread(int * threadlist, int numthreads);
-	Thread * selectNotify(action_list_t * waiters);
+	Thread * selectNotify(simple_action_list_t * waiters);
 	bool shouldSleep(const ModelAction * sleep);
 	bool shouldWake(const ModelAction * sleep);
 	bool shouldWait(const ModelAction * wait);