X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=fuzzer.h;fp=fuzzer.h;h=0fcfb51f67e66ff9ee439f9b48c1bd860838cbfa;hb=f269c2a1c390e82ae189bc690a750601f874283f;hp=14dff6e023ddbbf174f1a129378bee7a55b72f55;hpb=8b57ab066a2b74a81c4261482ba9030465eb0dbe;p=c11tester.git

diff --git a/fuzzer.h b/fuzzer.h
index 14dff6e0..0fcfb51f 100644
--- a/fuzzer.h
+++ b/fuzzer.h
@@ -12,7 +12,7 @@ public:
 	virtual bool has_paused_threads() { return false; }
 	virtual 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);
 	virtual bool shouldWait(const ModelAction *wait);