1 /* boost nondet_random.hpp header file 2 * 3 * Copyright Jens Maurer 2000 4 * Distributed under the Boost Software License, Version 1.0. (See 5 * accompanying file LICENSE_1_0.txt or copy at 6 * http://www.boost.org/LICENSE_1_0.txt) 7 * 8 * $Id$ 9 * 10 * Revision history 11 * 2000-02-18 Portability fixes (thanks to Beman Dawes) 12 */ 13 14 // See http://www.boost.org/libs/random for documentation. 15 16 17 #ifndef BOOST_NONDET_RANDOM_HPP 18 #define BOOST_NONDET_RANDOM_HPP 19 20 #include <boost/random/random_device.hpp> 21 22 #endif /* BOOST_NONDET_RANDOM_HPP */ 23