From 2e10f6fe4acd6b000ca5cdd4beba73b11ad90c1b 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 e312eb12b..5d472a804 100644
--- a/examples/SolverComparer.cpp
+++ b/examples/SolverComparer.cpp
@@ -499,8 +499,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;