diff --git a/src/common/options.cc b/src/common/options.cc index b5b26f9915e..4ec91021c52 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -7415,10 +7415,6 @@ static std::vector