From 2e8d5b3d162c6809f94101d83767d843bdc7ac20 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 1 Jul 2015 16:30:20 +0000 Subject: [PATCH] use bind for the numerals in German and Greek --- lib/src/german/NumeralGer.gf | 2 +- lib/src/greek/NumeralGre.gf | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/src/german/NumeralGer.gf b/lib/src/german/NumeralGer.gf index 1d55382e5..babb14e1e 100644 --- a/lib/src/german/NumeralGer.gf +++ b/lib/src/german/NumeralGer.gf @@ -60,7 +60,7 @@ oper IDig d = d ; IIDig d i = { - s = \\o => d.s ! invNum ++ i.s ! o ; + s = \\o => d.s ! invNum ++ BIND ++ i.s ! o ; n = Pl } ; diff --git a/lib/src/greek/NumeralGre.gf b/lib/src/greek/NumeralGre.gf index 7a13407d7..b20d97a31 100644 --- a/lib/src/greek/NumeralGre.gf +++ b/lib/src/greek/NumeralGre.gf @@ -271,7 +271,7 @@ Xilias : CardOrd -> (CardOrd => Str) -> Number -> Str = \co,d,n -> IDig d = d ; IIDig d i = { - s = \\o => d.s ! NCard Neut Nom ++ i.s ! o ; + s = \\o => d.s ! NCard Neut Nom ++ BIND ++ i.s ! o ; n = Pl } ;