diff --git a/src/common/options.cc b/src/common/options.cc index b286457b9b3..a9de30383b2 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -764,6 +764,7 @@ std::vector