1 /* boost nondet_random.hpp header file
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)
11 * 2000-02-18 Portability fixes (thanks to Beman Dawes)
14 // See http://www.boost.org/libs/random for documentation.
17 #ifndef BOOST_NONDET_RANDOM_HPP
18 #define BOOST_NONDET_RANDOM_HPP
20 #include <boost/random/random_device.hpp>
22 #endif /* BOOST_NONDET_RANDOM_HPP */