diff --git a/src/english/CompatibilityCat.gf b/src/english/CompatibilityCat.gf deleted file mode 100644 index e12287c45..000000000 --- a/src/english/CompatibilityCat.gf +++ /dev/null @@ -1,11 +0,0 @@ ---# -path=.:../romance:../abstract:../common - -concrete CompatibilityCat of Compatibility = CatCat ** open Prelude, CommonRomance in { - --- from Noun 19/4/2008 - -lin - NumInt n = {s = \\_ => n.s ; isNum = True ; n = Pl} ; - OrdInt n = {s = \\_ => n.s ++ "."} ; --- - -}