diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2014-12-23 13:34:21 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2014-12-23 13:40:26 +0000 |
| commit | 064fb81b8d38df3bc77e2211fb6bc5db84fedb97 (patch) | |
| tree | 2a5e7ebdafb1edbe9ef4930a1ed5b65912fa9e36 /src/option_manager.hh | |
| parent | bf980eba04597997d62bf9dcf708404b80960e50 (diff) | |
Move containers utils to containers.hh and add filtered/transformed utils
Diffstat (limited to 'src/option_manager.hh')
| -rw-r--r-- | src/option_manager.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/option_manager.hh b/src/option_manager.hh index 439a0c53..c8fb1d5f 100644 --- a/src/option_manager.hh +++ b/src/option_manager.hh @@ -2,6 +2,7 @@ #define option_manager_hh_INCLUDED #include "completion.hh" +#include "containers.hh" #include "exception.hh" #include "flags.hh" #include "option_types.hh" |