From 41b263cf6aa38e7c6ef090c0fa18949b86eec62c Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 22 May 2009 18:54:51 +0000
Subject: some work on evaluation with abstract expressions in PGF

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

(limited to 'src/PGF/ShowLinearize.hs')

diff --git a/src/PGF/ShowLinearize.hs b/src/PGF/ShowLinearize.hs
index b5fab007a..62329eb88 100644
--- a/src/PGF/ShowLinearize.hs
+++ b/src/PGF/ShowLinearize.hs
@@ -99,7 +99,7 @@ markLinearize pgf lang t = concat $ take 1 $ linearizesMark pgf lang t
 collectWords :: PGF -> CId -> [(String, [(String,String)])]
 collectWords pgf lang = 
     concatMap collOne 
-      [(f,c,0) | (f,(DTyp [] c _,_)) <- Map.toList $ funs $ abstract pgf] 
+      [(f,c,0) | (f,(DTyp [] c _,_,_)) <- Map.toList $ funs $ abstract pgf] 
   where
     collOne (f,c,i) = 
       fromRec f [prCId c] (recLinearize pgf lang (Fun f (replicate i (Meta 888))))
-- 
cgit v1.2.3