From 9398d80bfb177dd617f93c1af06f6d74917858ee Mon Sep 17 00:00:00 2001 From: Volker Fischer Date: Tue, 9 Jul 2019 09:16:38 +0200 Subject: [PATCH] added a missing header for Windows --- src/util.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/util.h b/src/util.h index bf4bdb63..32d407a6 100755 --- a/src/util.h +++ b/src/util.h @@ -47,6 +47,7 @@ using namespace std; // because of the library: "vector" #ifdef _WIN32 # include +# include # include # include #elif defined ( __APPLE__ ) || defined ( __MACOSX )