From a0af28c9b0e3e532561c970f479ce05d6a2e9bba Mon Sep 17 00:00:00 2001 From: fallenoak Date: Mon, 27 Mar 2023 16:54:24 -0500 Subject: [PATCH] fix(thread): add missing header --- storm/thread/CCritSect.hpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/storm/thread/CCritSect.hpp b/storm/thread/CCritSect.hpp index 79d24d3..6c20ecb 100644 --- a/storm/thread/CCritSect.hpp +++ b/storm/thread/CCritSect.hpp @@ -1,6 +1,8 @@ #ifndef STORM_THREAD_C_CRIT_SECT_HPP #define STORM_THREAD_C_CRIT_SECT_HPP +#include + #if defined(WHOA_SYSTEM_WIN) #include #endif