From 46efae5998e0737e54afc4ff135989c76161fdce Mon Sep 17 00:00:00 2001
From: Axel Kohlmeyer <akohlmey@gmail.com>
Date: Fri, 8 Oct 2021 13:58:08 -0400
Subject: [PATCH] needed for compilation on windows. not really used because of
 platform::walltime()

---
 src/STUBS/mpi.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/STUBS/mpi.cpp b/src/STUBS/mpi.cpp
index e5cd50629e..d3823a0297 100644
--- a/src/STUBS/mpi.cpp
+++ b/src/STUBS/mpi.cpp
@@ -21,7 +21,13 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
+
+#if defined(_WIN32)
+#define WIN32_LEAN_AND_MEAN
+#include <windows.h>
+#else
 #include <sys/time.h>
+#endif
 
 /* data structure for double/int */