From ba639910078845c37641ccb2315095b4438cf0c8 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 26 Jun 2008 19:41:25 +0000
Subject: fixed decodeUTF8 for pgf; removed old resources from darcs

---
 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 8add3d1d8..33c17b81b 100644
--- a/src/PGF.hs
+++ b/src/PGF.hs
@@ -172,7 +172,7 @@ startCat   :: PGF -> Category
 ---------------------------------------------------
 
 readPGF f = do
-  s <- readFile f
+  s <- readFile f >>= return . decodeUTF8 -- pgf is in UTF8, internal in unicode
   g <- parseGrammar s
   return $! toPGF g
 
-- 
cgit v1.2.3