From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Wed, 20 Apr 2011 19:08:15 +0000 (-0700)
Subject: update baked-in CoqPass.hs
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=176674d506ca72f9ddafb19da4691f8cf8b0bbb9;hp=176674d506ca72f9ddafb19da4691f8cf8b0bbb9

update baked-in CoqPass.hs
---