diff options
| author | Neil <nyamatongwe@gmail.com> | 2023-03-27 09:31:15 +1100 |
|---|---|---|
| committer | Neil <nyamatongwe@gmail.com> | 2023-03-27 09:31:15 +1100 |
| commit | 624f7c4c5d56bb5ef13fe59ceaa985c56e4a424a (patch) | |
| tree | b9c4e9a549643a5c83b5833324cb947d56abddca /src | |
| parent | 151d35356383d8c5f7d71b3536cdf2cdd8c4a6a3 (diff) | |
| download | scintilla-mirror-624f7c4c5d56bb5ef13fe59ceaa985c56e4a424a.tar.gz | |
Include <mutex> as uses mutex.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Editor.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Editor.cxx b/src/Editor.cxx index a78bcc8eb..854dc1853 100644 --- a/src/Editor.cxx +++ b/src/Editor.cxx @@ -26,6 +26,7 @@ #include <memory> #include <chrono> #include <atomic> +#include <mutex> #include <thread> #include <future> |