From 2581833f0f72a4c1c006d80dc03061fdb458474f Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 14 Sep 2004 17:05:46 +0000
Subject: [PATCH] gfcm header

---
 resource-0.6/english/ParadigmsEng.gf | 2 ++
 1 file changed, 2 insertions(+)

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 ;