From 68482aa7e9882ab8d65fb5fe261efc0e807f6dfd Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Wed, 24 Mar 2010 11:11:55 +0000
Subject: now for every category we store, in PGF, the list of functions for it
 in source-code order. The order matters for the termination of the exhaustive
 generation with dependent types.

---
 src/runtime/haskell/PGF/Binary.hs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/runtime/haskell/PGF/Binary.hs')

diff --git a/src/runtime/haskell/PGF/Binary.hs b/src/runtime/haskell/PGF/Binary.hs
index d03349fc7..241c9cc99 100644
--- a/src/runtime/haskell/PGF/Binary.hs
+++ b/src/runtime/haskell/PGF/Binary.hs
@@ -44,7 +44,6 @@ instance Binary Abstr where
            cats <- get
            return (Abstr{ aflags=aflags
                         , funs=funs, cats=cats
-                        , catfuns=Map.empty
                         })
   
 instance Binary Concr where
-- 
cgit v1.2.3