Chris@16: /* boost nondet_random.hpp header file
Chris@16:  *
Chris@16:  * Copyright Jens Maurer 2000
Chris@16:  * Distributed under the Boost Software License, Version 1.0. (See
Chris@16:  * accompanying file LICENSE_1_0.txt or copy at
Chris@16:  * http://www.boost.org/LICENSE_1_0.txt)
Chris@16:  *
Chris@101:  * $Id$
Chris@16:  *
Chris@16:  * Revision history
Chris@16:  *  2000-02-18  Portability fixes (thanks to Beman Dawes)
Chris@16:  */
Chris@16: 
Chris@16: //  See http://www.boost.org/libs/random for documentation.
Chris@16: 
Chris@16: 
Chris@16: #ifndef BOOST_NONDET_RANDOM_HPP
Chris@16: #define BOOST_NONDET_RANDOM_HPP
Chris@16: 
Chris@16: #include <boost/random/random_device.hpp>
Chris@16: 
Chris@16: #endif /* BOOST_NONDET_RANDOM_HPP */