remove String::replace, use boost::regex_replace directly

1 files changed, 2 insertions, 1 deletions

diff --git a/src/command_manager.cc b/src/command_manager.cc
index 33c7cf2f..87848860 100644
--- a/src/command_manager.cc
+++ b/src/command_manager.cc
@@ -201,7 +201,8 @@ TokenList parse(const String& line,
             if (opt_token_pos_info)
                 opt_token_pos_info->push_back({token_start, pos});
             String token = line.substr(token_start, pos - token_start);
-            token = token.replace(R"(\\([ \t;\n]))", "\\1");
+            static const Regex regex{R"(\\([ \t;\n]))"};
+            token = boost::regex_replace(token, regex, "\\1");
             result.push_back({type, token});
         }