src/core/random_func.hpp
changeset 8348 4d7c1c5055b3
parent 8142 837f47089a7c
child 8434 558c39956ba2
--- a/src/core/random_func.hpp	Fri Jan 18 02:16:39 2008 +0000
+++ b/src/core/random_func.hpp	Fri Jan 18 03:48:29 2008 +0000
@@ -1,6 +1,6 @@
 /* $Id$ */
 
-/** @file random_func.h */
+/** @file random_func.hpp */
 
 #ifndef RANDOM_FUNC_HPP
 #define RANDOM_FUNC_HPP