From 85511a642f851100d0d856f4ecbe7fea7a7bb049 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Blot?= Date: Wed, 16 Aug 2017 22:11:45 +0200 Subject: Cleanup various headers to reduce compilation times (#6255) * Cleanup various headers to reduce compilation times --- src/script/cpp_api/s_internal.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/script/cpp_api/s_internal.h') diff --git a/src/script/cpp_api/s_internal.h b/src/script/cpp_api/s_internal.h index 315561e08..b493cb6fa 100644 --- a/src/script/cpp_api/s_internal.h +++ b/src/script/cpp_api/s_internal.h @@ -30,6 +30,7 @@ with this program; if not, write to the Free Software Foundation, Inc., #include #include "common/c_internal.h" #include "cpp_api/s_base.h" +#include "threading/mutex_auto_lock.h" #ifdef SCRIPTAPI_LOCK_DEBUG #include "debug.h" // assert() -- cgit v1.2.3