diff --git a/src/common/options.cc b/src/common/options.cc index 22a27e1b026..343c2d5270f 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -1154,10 +1154,6 @@ const std::vector