updates boost random headers

This commit is contained in:
Peter Thorson
2013-03-02 20:47:11 -06:00
parent b373a388e7
commit fbe991d9c2

View File

@@ -40,7 +40,7 @@
#include <boost/version.hpp>
#if (BOOST_VERSION/100000) == 1 && ((BOOST_VERSION/100)%1000) > 46
#include <boost/random/random.hpp>
#include <boost/random/uniform_int_distribution.hpp>
#include <boost/random/random_device.hpp>
#elif (BOOST_VERSION/100000) == 1 && ((BOOST_VERSION/100)%1000) >= 43
#include <boost/nondet_random.hpp>