diff --git a/src/shell_manager.cc b/src/shell_manager.cc index 334960b8..0d012538 100644 --- a/src/shell_manager.cc +++ b/src/shell_manager.cc @@ -14,6 +14,7 @@ #include "option_types.hh" #include "regex.hh" +#include #include #include #include