diff --git a/src/common/options.cc b/src/common/options.cc index b286457b9b35f..ee73aa106b9fb 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -1632,6 +1632,10 @@ std::vector