diff -r 59cc173953ae -r b499fdd106d5 src/misc/binaryheap.hpp
--- a/src/misc/binaryheap.hpp	Sun Apr 15 10:30:00 2007 +0000
+++ b/src/misc/binaryheap.hpp	Sun Apr 22 19:06:48 2007 +0000
@@ -1,5 +1,7 @@
 /* $Id$ */
 
+/** @file binaryheap.hpp */
+
 #ifndef  BINARYHEAP_HPP
 #define  BINARYHEAP_HPP