diff options
Diffstat (limited to 'src/mongo/executor/task_executor.h')
-rw-r--r-- | src/mongo/executor/task_executor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mongo/executor/task_executor.h b/src/mongo/executor/task_executor.h index 92aad54a22a..2cceb303a56 100644 --- a/src/mongo/executor/task_executor.h +++ b/src/mongo/executor/task_executor.h @@ -30,6 +30,7 @@ #pragma once #include <functional> +#include <functional> #include <memory> #include <string> |