diff --git a/repos/os/src/app/trace_logger/main.cc b/repos/os/src/app/trace_logger/main.cc index b32baefa1f..befe4f112c 100644 --- a/repos/os/src/app/trace_logger/main.cc +++ b/repos/os/src/app/trace_logger/main.cc @@ -177,7 +177,7 @@ class Main try { Number_of_bytes const buffer_sz = - session_policy.attribute_value("buffer", _config.default_buf_sz); + session_policy.attribute_value("buffer", Number_of_bytes(_config.default_buf_sz)); Policy_name const policy_name = session_policy.attribute_value("policy", _config.default_policy_name);