1) Add more comments.

[model-checker.git] / threads.h

diff --git a/threads.h b/threads.h
index 7d2189b49d9f098a775b1cc158390cf76f49cbf4..0e0293ad817332e867db1e7b92c490da3c3f9b19 100644 (file)
--- a/threads.h
+++ b/threads.h
@@ -1,3 +1,7 @@
+/** @file threads.h
+ *  @brief Model Checker Thread class.
+ */
+
 #ifndef __THREADS_H__
 #define __THREADS_H__