diff --git a/src/common/options.cc b/src/common/options.cc index 5b8a4da6817..5188c55a35b 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -3474,6 +3474,10 @@ std::vector