From 279ff9a6d28c87e1a6c105d9d33df2511fb8f132 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sun, 5 Jul 2009 15:44:52 +0000
Subject: PGF.Type.Hypo now can represent explicit and implicit arguments and
 argument without bound variable

---
 src/PGF.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/PGF.hs')

diff --git a/src/PGF.hs b/src/PGF.hs
index 5fd98fa25..8ac936e70 100644
--- a/src/PGF.hs
+++ b/src/PGF.hs
@@ -279,7 +279,7 @@ languages pgf = cncnames pgf
 languageCode pgf lang = 
     fmap (replace '_' '-') $ lookConcrFlag pgf lang (mkCId "language")
 
-categories pgf = [DTyp [] c [EMeta i | (Hyp _ _,i) <- zip hs [0..]] | (c,hs) <- Map.toList (cats (abstract pgf))]
+categories pgf = [DTyp [] c (map EMeta [0..length hs]) | (c,hs) <- Map.toList (cats (abstract pgf))]
 
 startCat pgf = DTyp [] (lookStartCat pgf) []
 
-- 
cgit v1.2.3