From 12e1c64fc0325f4499cc2c2a2a61eab49b1c81cc Mon Sep 17 00:00:00 2001
From: tastytea <tastytea@tastytea.de>
Date: Sat, 5 Jun 2021 13:13:36 +0200
Subject: [PATCH] Make text formatting more readable.

---
 src/search.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/search.cpp b/src/search.cpp
index af29a5e..5dc2bea 100644
--- a/src/search.cpp
+++ b/src/search.cpp
@@ -152,7 +152,7 @@ void cleanup_text(string &text)
             if (boost::regex_search(text.substr(pos, endpos).data(), match,
                                     re_pagebreak))
             {
-                replacement = "<PAGE " + match[2] + ">";
+                replacement = format("<PAGE {0:s}>", match[2].str());
             }
         }
         else if (text.substr(pos, 7) == "<style "