diff --git a/src/common/options.cc b/src/common/options.cc index 847f979ef72..7d0e70b3bdd 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -2150,6 +2150,14 @@ std::vector