X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=threads-model.h;h=b15c40944aedadb3114d1239d1f16b6259e51535;hp=2cd09ab53739de7d327de3e5758af6b7ba66465d;hb=0a650d68e478aff11bf8b72ee04ed7cc6a102ce8;hpb=d3f4056998c5b286c3102be270a863fa88a1bfd5

diff --git a/threads-model.h b/threads-model.h
index 2cd09ab5..b15c4094 100644
--- a/threads-model.h
+++ b/threads-model.h
@@ -104,6 +104,8 @@ public:
 	 *  @see Thread::pending */
 	void set_pending(ModelAction *act) { pending = act; }
 
+	Thread * waiting_on() const;
+
 	/**
 	 * Remove one ModelAction from the waiting list
 	 * @return The ModelAction that was removed from the waiting list