From 9ecc663d00fd91e8c0108785722c735348528f9e Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Mon, 3 Nov 2008 16:52:54 +0000
Subject: structural words needed for Attempto ; negative items are
 overgenerating

---
 next-lib/src/api/Constructors.gf | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'next-lib/src/api')

diff --git a/next-lib/src/api/Constructors.gf b/next-lib/src/api/Constructors.gf
index 3f29d4967..a6804b56c 100644
--- a/next-lib/src/api/Constructors.gf
+++ b/next-lib/src/api/Constructors.gf
@@ -1122,8 +1122,10 @@ incomplete resource Constructors = open Grammar in {
     mkCard = overload {
       mkCard : Numeral -> Card 
         = NumNumeral ;
-      mkNum : Digits -> Card         -- 51
+      mkCard : Digits -> Card         -- 51
         = NumDigits ;
+      mkCard : AdN -> Card -> Card
+        = AdNum
       } ;
 
     mkNum = overload {
-- 
cgit v1.2.3