From 708c75c0eeafb6363936233e6042e9227038c39f 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 9b7e2573da2..4ff128bb42f 100644 --- a/src/util.h +++ b/src/util.h @@ -22,6 +22,7 @@ typedef int pid_t; /* define for Windows compatibility */ #include #include +#include #include #include #include