diff -r ef44f62cb8b9 -r 22c441f5adf9 src/core/random_func.hpp
--- a/src/core/random_func.hpp	Mon May 05 12:35:38 2008 +0000
+++ b/src/core/random_func.hpp	Wed May 07 21:09:51 2008 +0000
@@ -1,6 +1,6 @@
 /* $Id$ */
 
-/** @file random_func.hpp */
+/** @file random_func.hpp Pseudo random number generator. */
 
 #ifndef RANDOM_FUNC_HPP
 #define RANDOM_FUNC_HPP