From 8ee93c46e2c2aa820965217ef6a899ce7d18ba57 Mon Sep 17 00:00:00 2001 From: SimonDold <48084373+SimonDold@users.noreply.github.com> Date: Fri, 22 Sep 2023 14:16:55 +0200 Subject: [PATCH] fix message. --- src/search/plugins/raw_registry.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/search/plugins/raw_registry.cc b/src/search/plugins/raw_registry.cc index 1bb0862376..67e9cc5f06 100644 --- a/src/search/plugins/raw_registry.cc +++ b/src/search/plugins/raw_registry.cc @@ -178,7 +178,7 @@ Features RawRegistry::collect_features( int parameter_occurrence = pair.second; if (parameter_occurrence > 1) { errors.push_back( - "The Parameter '" + parameter + "' in '" + feature_key + "' is defined " + + "The parameter '" + parameter + "' in '" + feature_key + "' is defined " + to_string(parameter_occurrence) + " times."); } }