diff --git a/src/common/options.cc b/src/common/options.cc index c0d4b7383ea..61d6b405ee6 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -1052,7 +1052,7 @@ std::vector