X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=newfuzzer.cc;h=76f4e4ceaec8a967ebb52ad54bba996268065588;hb=ab6885beecafb5ae9103845c03a6e72ddacd79ec;hp=7d4e8b1810880f600393e76f5618af8dc2b9516b;hpb=7cab9e695d0cfd0e935a6ef100a914aa6f661cc4;p=c11tester.git

diff --git a/newfuzzer.cc b/newfuzzer.cc
index 7d4e8b18..76f4e4ce 100644
--- a/newfuzzer.cc
+++ b/newfuzzer.cc
@@ -444,8 +444,3 @@ bool NewFuzzer::find_threads(ModelAction * pending_read)
 
 	return finds_waiting_for;
 }
-
-bool NewFuzzer::shouldWait(const ModelAction * act)
-{
-	return true;
-}