From 5ecfac348c3e49def1d11ea740cc7b49e0ef5dcc Mon Sep 17 00:00:00 2001
From: Richard Roberts <richard.jw.roberts@gmail.com>
Date: Wed, 12 Feb 2014 16:38:45 -0500
Subject: [PATCH] Using boost random from 'boost' namespace instead of
 boost::random for compatibility with boost < 1.47

---
 examples/SolverComparer.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/SolverComparer.cpp b/examples/SolverComparer.cpp
index 7fbbb9ac1..ec980b960 100644
--- a/examples/SolverComparer.cpp
+++ b/examples/SolverComparer.cpp
@@ -536,8 +536,8 @@ void runCompare()
 void runPerturb()
 {
   // Set up random number generator
-  boost::random::mt19937 rng;
-  boost::random::normal_distribution<double> normal(0.0, perturbationNoise);
+  boost::mt19937 rng;
+  boost::normal_distribution<double> normal(0.0, perturbationNoise);
 
   // Perturb values
   VectorValues noise;