From f2763d6d60f64447d24d6af806e25e8c684d3e3d Mon Sep 17 00:00:00 2001 From: theuni Date: Thu, 13 Jun 2013 23:39:54 -0400 Subject: [PATCH] fixed: include boost header as necessary Without this include, sometimes BOOST_VERSION was defined and sometimes it was not, depending on which includes came before it. The result was a random mix of sleep or sleep_for for boost versions >= 1.50. --- src/util.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/util.h b/src/util.h index 2272ed02f4..ae33fb4ed4 100644 --- a/src/util.h +++ b/src/util.h @@ -20,6 +20,7 @@ #include #include +#include #include #include #include