diff options
Diffstat (limited to 'src/shell_manager.hh')
| -rw-r--r-- | src/shell_manager.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/shell_manager.hh b/src/shell_manager.hh index 37d47b32..6ce3aada 100644 --- a/src/shell_manager.hh +++ b/src/shell_manager.hh @@ -2,7 +2,7 @@ #define shell_manager_hh_INCLUDED #include "utils.hh" -#include "regex.hh" +#include "string.hh" #include <unordered_map> |