src/core/random_func.hpp
changeset 8844 b4f9ff470b85
parent 8638 d997e3a75b36
child 8930 361433723616
equal deleted inserted replaced
8843:bbd55908f27d 8844:b4f9ff470b85
     1 /* $Id$ */
     1 /* $Id$ */
     2 
     2 
     3 /** @file random_func.h */
     3 /** @file random_func.hpp */
     4 
     4 
     5 #ifndef RANDOM_FUNC_HPP
     5 #ifndef RANDOM_FUNC_HPP
     6 #define RANDOM_FUNC_HPP
     6 #define RANDOM_FUNC_HPP
     7 
     7 
     8 #if defined(__APPLE__)
     8 #if defined(__APPLE__)