diff --git a/resource-0.6/english/ParadigmsEng.gf b/resource-0.6/english/ParadigmsEng.gf index 8bdddfa5e..19dfa67e0 100644 --- a/resource-0.6/english/ParadigmsEng.gf +++ b/resource-0.6/english/ParadigmsEng.gf @@ -26,6 +26,8 @@ resource ParadigmsEng = open (Predef=Predef), Prelude, SyntaxEng, ResourceEng in -- To abstract over gender names, we define the following identifiers. oper + Gender : Type = SyntaxEng.Gender ; + human : Gender ; nonhuman : Gender ;