X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=model.h;h=8316f04bd7aef32986f3d54f31dd1ca8afdca090;hp=1bd32a1fffcb926449f2b5fc7a11f7d74410cf34;hb=b6f06ab2c626eb6e0f044fa9c7d1b74fbc82a09d;hpb=188fd67da0c7cb891960093e85bb4c9a5718050d

diff --git a/model.h b/model.h
index 1bd32a1..8316f04 100644
--- a/model.h
+++ b/model.h
@@ -118,6 +118,7 @@ private:
 	/** The scheduler to use: tracks the running/ready Threads */
 	Scheduler *scheduler;
 
+	bool sleep_can_read_from(ModelAction * curr, const ModelAction *write);
 	bool thin_air_constraint_may_allow(const ModelAction * writer, const ModelAction *reader);
 	bool has_asserted() {return asserted;}
 	void reset_asserted() {asserted=false;}