--- nestkernel/simulation_manager.h.orig 2019-07-27 21:25:00 UTC
+++ nestkernel/simulation_manager.h
@@ -23,6 +23,8 @@
#ifndef SIMULATION_MANAGER_H
#define SIMULATION_MANAGER_H
+#include <sys/time.h>
+
// C++ includes:
#include <vector>