X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=clockvector.h;fp=clockvector.h;h=e9ffb2bf5c4997452bbddb0f8d650e319ce7f777;hb=6d7624344faab763eb30f3a6424f51538b7292a5;hp=eb7086253d7f97e79b0f1d1ce41ef7b4e988e561;hpb=7bec9f8bcc8c63a0be2b31f8aa01a61a50afe4f9;p=model-checker.git

diff --git a/clockvector.h b/clockvector.h
index eb70862..e9ffb2b 100644
--- a/clockvector.h
+++ b/clockvector.h
@@ -1,3 +1,7 @@
+/** @file clockvector.h
+ *  @brief Implements a clock vector.
+ */
+
 #ifndef __CLOCKVECTOR_H__
 #define __CLOCKVECTOR_H__