X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.h;h=9b34e8287ba1c5dd22a71664eae83850bab5a208;hb=6d7624344faab763eb30f3a6424f51538b7292a5;hp=f4965369b2a62be67a124ae29a44b4172c28f0eb;hpb=9fd8ac15f03e8ca01a20563e06c44b8b93090892;p=model-checker.git

diff --git a/schedule.h b/schedule.h
index f496536..9b34e82 100644
--- a/schedule.h
+++ b/schedule.h
@@ -1,3 +1,7 @@
+/** @file schedule.h
+ *	@brief Thread scheduler.
+ */
+
 #ifndef __SCHEDULE_H__
 #define __SCHEDULE_H__