From 02b9ccfd60151007645491460759be087f4e5150 Mon Sep 17 00:00:00 2001 From: goerch Date: Mon, 2 Oct 2023 09:19:28 +0200 Subject: [PATCH] Update unicode.h Co-authored-by: Georgi Gerganov --- unicode.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/unicode.h b/unicode.h index ce3a4044b..84269a556 100644 --- a/unicode.h +++ b/unicode.h @@ -359,7 +359,7 @@ static std::vector codepoints_from_utf16(const std::vector& static std::unordered_map codepoint_type_map() { std::unordered_map codepoint_types; - for(auto p : digit_ranges) { + for (auto p : digit_ranges) { for(auto i = p.first; i <= p.second; ++ i) codepoint_types[i] = CODEPOINT_TYPE_DIGIT; }