diff options
Diffstat (limited to 'src/option.cc')
| -rw-r--r-- | src/option.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/option.cc b/src/option.cc index 64672211..0773030c 100644 --- a/src/option.cc +++ b/src/option.cc @@ -207,7 +207,7 @@ void process_arguments(int argc, char ** argv, const bool anywhere, } process_option(def, scope, value); - delete *o; + checked_delete(*o); } } |