From b83916ac3b9cc2daeddf23882eed45d096742e3b Mon Sep 17 00:00:00 2001
From: Alexander Bock <alexander.bock@liu.se>
Date: Wed, 21 Sep 2016 23:05:46 +0200
Subject: [PATCH] Potential GCC compile fix

---
 include/openspace/documentation/verifier.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/openspace/documentation/verifier.h b/include/openspace/documentation/verifier.h
index 15275a8539..86e03e7315 100644
--- a/include/openspace/documentation/verifier.h
+++ b/include/openspace/documentation/verifier.h
@@ -28,6 +28,7 @@
 #include <openspace/documentation/documentation.h>
 
 #include <functional>
+#include <type_traits>
 
 namespace openspace {
 namespace documentation {