X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=fuzzer.cc;h=c41af4a0466b173615a7cd2d9bb48a45c569424c;hb=15ea44894415d4b1150728658d65c641556e5fcf;hp=371838dcb1977c912a346a7a995e4e9cc3083425;hpb=3e2ec3ed4b37f4e6aa8e5e0e9e3241890948c3ac;p=c11tester.git

diff --git a/fuzzer.cc b/fuzzer.cc
index 371838dc..c41af4a0 100644
--- a/fuzzer.cc
+++ b/fuzzer.cc
@@ -23,7 +23,7 @@ Thread * Fuzzer::selectNotify(action_list_t * waiters) {
 	while(random_index--)
 		it=it->getNext();
 	Thread *thread = model->get_thread(it->getVal());
-	waiters->erase(it);
+	waiters->removeAction(it->getVal());
 	return thread;
 }