X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.h;h=a97a04c704449963981fe443a711c64abc716fb3;hb=5d9ce304699f07a7203ca4ceb246b482720c031e;hp=0e0293ad817332e867db1e7b92c490da3c3f9b19;hpb=6d7624344faab763eb30f3a6424f51538b7292a5;p=model-checker.git

diff --git a/threads.h b/threads.h
index 0e0293a..a97a04c 100644
--- a/threads.h
+++ b/threads.h
@@ -22,6 +22,7 @@ typedef enum thread_state {
 
 class ModelAction;
 
+/** @brief A Thread is created for each user-space thread */
 class Thread {
 public:
 	Thread(thrd_t *t, void (*func)(void *), void *a);