X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.h;h=248d948fe98c87863741d4ed94343ee22d9cef5e;hb=0accacf66b9f7bb4479205a0840f208dd8da6960;hp=939676027ecea091b776735a0b372dcd515ad1ad;hpb=8362b1efa92635ab49bd937edf451e3b2e0981bc;p=c11tester.git

diff --git a/threads.h b/threads.h
index 93967602..248d948f 100644
--- a/threads.h
+++ b/threads.h
@@ -22,11 +22,7 @@ typedef enum thread_state {
 	THREAD_CREATED,
 	/** Thread is running */
 	THREAD_RUNNING,
-	/**
-	 * Thread has yielded to the model-checker but is ready to run. Used
-	 * during an action that caused a context switch to the model-checking
-	 * context.
-	 */
+	/** Thread is not currently running but is ready to run */
 	THREAD_READY,
 	/**
 	 * Thread is waiting on another action (e.g., thread completion, lock