--- a/src/misc/binaryheap.hpp	Tue Mar 27 23:27:27 2007 +0000
+++ b/src/misc/binaryheap.hpp	Sat Jun 02 19:59:29 2007 +0000
@@ -1,5 +1,7 @@
 /* $Id$ */
 
+/** @file binaryheap.hpp */
+
 #ifndef  BINARYHEAP_HPP
 #define  BINARYHEAP_HPP