From: gentzen <root@gentzen.megacz.com>
Date: Sun, 15 May 2011 06:38:45 +0000 (-0700)
Subject: update baked in CoqPass.hs
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=8344f2f8697a9582b3362c86475c5f90ca420c28;hp=8344f2f8697a9582b3362c86475c5f90ca420c28

update baked in CoqPass.hs
---