From 5122917d62edb88e57eaa1ee9ba6a67c0bf0549c Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Tue, 21 Jul 2020 16:06:48 +0200 Subject: [PATCH] os: declare Path::max_len() const --- repos/os/include/os/path.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/os/include/os/path.h b/repos/os/include/os/path.h index 59038c6e2a..f27b917cb8 100644 --- a/repos/os/include/os/path.h +++ b/repos/os/include/os/path.h @@ -240,7 +240,7 @@ class Genode::Path_base char const *base() const { return _path; } char const *string() const { return _path; } - size_t max_len() { return _path_max_len; } + size_t max_len() const { return _path_max_len; } void remove_trailing(char c) { remove_trailing(c, _path); }