diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-13 21:05:57 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-13 21:05:57 +0100 |
commit | e78b77481e7448f6b825ad7567ebe859b846f125 (patch) | |
tree | a821ce8cb5b185ce50cdfc274efa7fdcb7a73fa0 /servers/rendering_server.cpp | |
parent | 854d9c3d9c77270ff3260a8edcc12fccc85514c1 (diff) | |
parent | 6f88392d024ac4880428d6e5b41ad3d664e87843 (diff) |
Merge pull request #73240 from myaaaaaaaaa/worker-h
Move some `worker_thread_pool.h` includes out of header files
Diffstat (limited to 'servers/rendering_server.cpp')
-rw-r--r-- | servers/rendering_server.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/servers/rendering_server.cpp b/servers/rendering_server.cpp index 848b6d01d4..05b1a8f87a 100644 --- a/servers/rendering_server.cpp +++ b/servers/rendering_server.cpp @@ -31,6 +31,7 @@ #include "rendering_server.h" #include "core/config/project_settings.h" +#include "core/object/worker_thread_pool.h" #include "core/variant/typed_array.h" #include "servers/rendering/rendering_server_globals.h" #include "servers/rendering/shader_language.h" |