the loading of PGF files was broken by the Teyjus patch. Now this is fixed

This commit is contained in:
kr.angelov
2012-08-30 07:41:49 +00:00
parent f78505d88e
commit fe27540c49

View File

@@ -43,7 +43,8 @@ instance Binary Abstr where
funs <- get
cats <- get
return (Abstr{ aflags=aflags
, funs=funs, cats=cats
, funs=fmap (\(w,x,y,z) -> (w,x,y,z,0)) funs
, cats=fmap (\(x,y) -> (x,y,0)) cats
, code=BS.empty
})