diff --git a/src/common/options.cc b/src/common/options.cc index 9b5724928c6..68f8dff2b28 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -2823,7 +2823,7 @@ std::vector