From 1be44d405e48a42a63bd8d2dae739560b486a55c Mon Sep 17 00:00:00 2001 From: Nick Thompson Date: Sun, 11 Feb 2018 15:02:43 -0600 Subject: [PATCH] [ci skip] Remove deprecated header. --- include/boost/random/detail/integer_log2.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/boost/random/detail/integer_log2.hpp b/include/boost/random/detail/integer_log2.hpp index 248243a4b..2e49f281f 100644 --- a/include/boost/random/detail/integer_log2.hpp +++ b/include/boost/random/detail/integer_log2.hpp @@ -16,7 +16,7 @@ #include #include -#include +#include namespace boost { namespace random {