From 158f99e0a54632eaacbece47495f0421f7dede62 Mon Sep 17 00:00:00 2001 From: Alexander Bock Date: Thu, 21 Jun 2018 14:46:28 -0400 Subject: [PATCH] Linux compile fix --- include/openspace/util/resourcesynchronization.h | 1 + 1 file changed, 1 insertion(+) diff --git a/include/openspace/util/resourcesynchronization.h b/include/openspace/util/resourcesynchronization.h index 88fd01fa8a..c7d42e623b 100644 --- a/include/openspace/util/resourcesynchronization.h +++ b/include/openspace/util/resourcesynchronization.h @@ -27,6 +27,7 @@ #include #include +#include #include #include #include