From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Fri, 24 Jun 2011 11:29:06 +0000 (-0700)
Subject: HaskFlattener: use pga_kappa a bit more, but not everywhere yet
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=6282ce834832ba35e81d8019cae1ca38d187d07e;hp=6282ce834832ba35e81d8019cae1ca38d187d07e

HaskFlattener: use pga_kappa a bit more, but not everywhere yet
---