diff options
Diffstat (limited to 'src/command_manager.cc')
| -rw-r--r-- | src/command_manager.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/command_manager.cc b/src/command_manager.cc index afa630da..9cf0c805 100644 --- a/src/command_manager.cc +++ b/src/command_manager.cc @@ -6,6 +6,7 @@ #include "context.hh" #include "flags.hh" #include "optional.hh" +#include "option_types.hh" #include "ranges.hh" #include "register_manager.hh" #include "shell_manager.hh" |