aboutsummaryrefslogtreecommitdiff
path: root/src/clients/cave/cmd_search_cmdline.hh
diff options
context:
space:
mode:
Diffstat (limited to 'src/clients/cave/cmd_search_cmdline.hh')
-rw-r--r--src/clients/cave/cmd_search_cmdline.hh1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/clients/cave/cmd_search_cmdline.hh b/src/clients/cave/cmd_search_cmdline.hh
index 8281e4797..04e6b1c85 100644
--- a/src/clients/cave/cmd_search_cmdline.hh
+++ b/src/clients/cave/cmd_search_cmdline.hh
@@ -46,6 +46,7 @@ namespace paludis
args::ArgsGroup g_pattern_options;
args::EnumArg a_type;
+ args::SwitchArg a_case_sensitive;
args::SwitchArg a_and;
args::SwitchArg a_not;