From 516270148fbead2ac561d9b6089344aa141ecdf4 Mon Sep 17 00:00:00 2001
From: Aarne Ranta <aarne@chalmers.se>
Date: Wed, 11 Sep 2019 09:14:53 +0200
Subject: [PATCH] restored contructor CommonRomance.AF as oper since it is used
 in various applications

---
 src/romance/CommonRomance.gf | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/romance/CommonRomance.gf b/src/romance/CommonRomance.gf
index e30e0bea1..e92932825 100644
--- a/src/romance/CommonRomance.gf
+++ b/src/romance/CommonRomance.gf
@@ -42,6 +42,10 @@ param
 
   CardOrd = NCard Gender | NOrd Gender Number ;
 
+--- a workaround for a lost constructor used e.g. in Attempto: AR 2019-09-11
+oper
+  AF : Gender -> Number -> AForm = \g,n -> case n of {Sg => ASg g AAttr ; Pl => APl g} ;
+
 -- The following coercions are useful:
 
 oper