diff --git a/src/common/options.cc b/src/common/options.cc index 88a3817c1ac..5f2e1f574c3 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -149,6 +149,11 @@ const std::vector