From 84a1d54e827531993b3e91d571456be54378cb44 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 10 Mar 2009 17:31:18 +0000
Subject: preliminary Italian in Attempto

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

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

diff --git a/next-lib/src/api/Constructors.gf b/next-lib/src/api/Constructors.gf
index a407c3440..c9e227ccf 100644
--- a/next-lib/src/api/Constructors.gf
+++ b/next-lib/src/api/Constructors.gf
@@ -1369,12 +1369,12 @@ incomplete resource Constructors = open Grammar in {
                                          =    AdvIP --# notminimal
       } ;  
 
-    mkIDet = overload { --# notminimal
+    mkIDet = overload { 
       mkIDet : IQuant -> Num -> IDet          -- which (songs) --# notminimal
                      =  \i,nu -> IdetQuant i nu ; --# notminimal
-      mkIDet : IQuant -> IDet      -- which (song) --# notminimal
-                     =  \i -> IdetQuant i NumSg ; --# notminimal
-      } ; --# notminimal
+      mkIDet : IQuant -> IDet      
+                     =  \i -> IdetQuant i NumSg ; 
+      } ; 
 
     whichSg_IDet : IDet = IdetQuant which_IQuant NumSg ; --# notminimal
     whichPl_IDet : IDet = IdetQuant which_IQuant NumPl ; --# notminimal
-- 
cgit v1.2.3