diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2014-10-13 13:12:33 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2014-10-13 13:14:23 +0100 |
| commit | fa85f0fc32b105bef5948585a7d7a38c2910854b (patch) | |
| tree | 62df5d4c99b3ae89274c848895fa94445f870edb /src/shell_manager.hh | |
| parent | b6f2b872b003639e3a596a2e4a1b817529ebd729 (diff) | |
Refactor regex uses, do not reference boost except in regex.hh
Diffstat (limited to 'src/shell_manager.hh')
| -rw-r--r-- | src/shell_manager.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/shell_manager.hh b/src/shell_manager.hh index f5d27a03..e2af4241 100644 --- a/src/shell_manager.hh +++ b/src/shell_manager.hh @@ -2,6 +2,7 @@ #define shell_manager_hh_INCLUDED #include "string.hh" +#include "regex.hh" #include "utils.hh" #include "env_vars.hh" |