diff --git a/src/common/options.cc b/src/common/options.cc index c9ddfa9c712..bd1591efacf 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -1616,6 +1616,14 @@ std::vector