Explicitly specify the type of TextFont's size when formatting

Works around weird edge case with android ndk16
edo9300 · Sep 23, 2024 · cb165fd · cb165fd
1 parent 1c42a5a
commit cb165fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gframe/game_config.cpp b/gframe/game_config.cpp
@@ -191,7 +191,7 @@ std::string serializeOption<std::wstring>(const std::wstring& value) {
 
 template<>
 std::string serializeOption(const ygo::GameConfig::TextFont& value) {
-	return epro::format("{} {}", Utils::ToUTF8IfNeeded(value.font), value.size);
+	return epro::format("{} {:d}", Utils::ToUTF8IfNeeded(value.font), value.size);
 }
 
 template<>