From fbe991d9c23fea2e367b9a7dedd5f9b027efa767 Mon Sep 17 00:00:00 2001
From: Peter Thorson <github@zaphoyd.com>
Date: Sat, 2 Mar 2013 20:47:11 -0600
Subject: [PATCH] updates boost random headers

---
 websocketpp/common/random.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/websocketpp/common/random.hpp b/websocketpp/common/random.hpp
index 591fb70026..e3b9732474 100644
--- a/websocketpp/common/random.hpp
+++ b/websocketpp/common/random.hpp
@@ -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>