X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=9f7804d838bd079323ace1923df7254241c90590;hp=18fcf0beb0f10edff52f5921bafa9234c447b3d1;hb=a7df00de36ef87549b654cfbc5c6b098cbba7a5b;hpb=51d58655a9a674d5e4b04f2dfcb5204a4342ef6d

diff --git a/model.h b/model.h
index 18fcf0be..9f7804d8 100644
--- a/model.h
+++ b/model.h
@@ -92,8 +92,6 @@ private:
 
 	unsigned int get_num_threads() const;
 
-	void execute_sleep_set();
-
 	bool next_execution();
 	bool should_terminate_execution();