From 8ae8e623550460c4c1de4a3747b2a3816cee2761 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 b3fe91824..c2fb7066e 100644 --- a/src/util.h +++ b/src/util.h @@ -20,6 +20,7 @@ #include #include +#include #include #include #include