From c5e62b16143b782e5998d2e97fb3bc11b9768340 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Sat, 4 Nov 2023 19:24:15 +0100 Subject: [PATCH] add soft spaces between groups of digits --- src/bulgarian/NumeralBul.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bulgarian/NumeralBul.gf b/src/bulgarian/NumeralBul.gf index d447f42a..4a4fb4e2 100644 --- a/src/bulgarian/NumeralBul.gf +++ b/src/bulgarian/NumeralBul.gf @@ -196,7 +196,7 @@ lin pot5decimal d = { oper spaceIf : DTail -> Str = \t -> case t of { - T3 => SOFT_BIND ; + T3 => SOFT_SPACE ; _ => BIND } ;