diff options
| author | Anas Nashif <anas.nashif@intel.com> | 2012-10-30 12:57:26 -0700 |
|---|---|---|
| committer | Anas Nashif <anas.nashif@intel.com> | 2012-10-30 12:57:26 -0700 |
| commit | 1a78a62555be32868418fe52f8e330c9d0f95d5a (patch) | |
| tree | d3765a80e7d3b9640ec2e930743630cd6b9fce2b /boost/nondet_random.hpp | |
| download | boost-1a78a62555be32868418fe52f8e330c9d0f95d5a.tar.gz boost-1a78a62555be32868418fe52f8e330c9d0f95d5a.tar.bz2 boost-1a78a62555be32868418fe52f8e330c9d0f95d5a.zip | |
Imported Upstream version 1.49.0upstream/1.49.0
Diffstat (limited to 'boost/nondet_random.hpp')
| -rw-r--r-- | boost/nondet_random.hpp | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/boost/nondet_random.hpp b/boost/nondet_random.hpp new file mode 100644 index 0000000000..0002e800b8 --- /dev/null +++ b/boost/nondet_random.hpp @@ -0,0 +1,22 @@ +/* boost nondet_random.hpp header file + * + * Copyright Jens Maurer 2000 + * Distributed under the Boost Software License, Version 1.0. (See + * accompanying file LICENSE_1_0.txt or copy at + * http://www.boost.org/LICENSE_1_0.txt) + * + * $Id: nondet_random.hpp 71018 2011-04-05 21:27:52Z steven_watanabe $ + * + * Revision history + * 2000-02-18 Portability fixes (thanks to Beman Dawes) + */ + +// See http://www.boost.org/libs/random for documentation. + + +#ifndef BOOST_NONDET_RANDOM_HPP +#define BOOST_NONDET_RANDOM_HPP + +#include <boost/random/random_device.hpp> + +#endif /* BOOST_NONDET_RANDOM_HPP */ |