diff --git a/src/common/options.cc b/src/common/options.cc index 83dca57bf2b..04d1d9e544c 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -2731,6 +2731,13 @@ std::vector