diff options
| -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> |