From 2a204d548270dcf6fc40dc32a68c776f714893dd Mon Sep 17 00:00:00 2001
From: Douglas Gregor <doug.gregor@gmail.com>
Date: Thu, 5 Jan 2006 21:57:36 +0000
Subject: [PATCH] Pull in std::floor

[SVN r32229]
---
 include/boost/graph/erdos_renyi_generator.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/boost/graph/erdos_renyi_generator.hpp b/include/boost/graph/erdos_renyi_generator.hpp
index 91c9b5e9..ce5e62a6 100644
--- a/include/boost/graph/erdos_renyi_generator.hpp
+++ b/include/boost/graph/erdos_renyi_generator.hpp
@@ -165,6 +165,7 @@ namespace boost {
     void next()
     {
       using std::sqrt;
+      using std::floor;
 
       // In order to get the edges from the generator in sorted order, one
       // effective (but slow) procedure would be to use a