From 0d344de496816b7fe13b73295180c2cf80ef8321 Mon Sep 17 00:00:00 2001 From: Roman Iten Date: Tue, 24 Oct 2023 08:23:28 +0200 Subject: [PATCH] base: extend constness of Genode::Token Fixes #5039 --- repos/base/include/util/token.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/base/include/util/token.h b/repos/base/include/util/token.h index 2d60d00b94..1bef51d284 100644 --- a/repos/base/include/util/token.h +++ b/repos/base/include/util/token.h @@ -123,7 +123,7 @@ class Genode::Token /** * Return next token after delimiter */ - Token next_after(char const *delim) + Token next_after(char const *delim) const { size_t const len = strlen(delim); @@ -141,7 +141,7 @@ class Genode::Token /** * Return true if token starts with pattern */ - bool matches(char const *pattern) + bool matches(char const *pattern) const { size_t const len = strlen(pattern);