From e4f662539f9dc3a4ea59dfa9753cf7c79601d0aa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Sat, 31 Dec 2022 03:06:53 +0100
Subject: [PATCH] doc: remove unnecessary use of std::string.

---
 doc/snippets/platforms-html5.cpp | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/doc/snippets/platforms-html5.cpp b/doc/snippets/platforms-html5.cpp
index 526209efa..5180318e2 100644
--- a/doc/snippets/platforms-html5.cpp
+++ b/doc/snippets/platforms-html5.cpp
@@ -23,15 +23,17 @@
     DEALINGS IN THE SOFTWARE.
 */
 
-#include <string>
+#include <Corrade/Containers/String.h>
 #include <emscripten/emscripten.h>
 
+using namespace Corrade;
+
 int main() {
 {
 /* [emasm-dollar] */
 #pragma GCC diagnostic push
 #pragma GCC diagnostic ignored "-Wdollar-in-identifier-extension"
-std::string title;
+Containers::String title;
 EM_ASM_({document.getElementById('title').innerHTML =
     UTF8ToString($0)}, title.data());
 #pragma GCC diagnostic pop