From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sat, 12 Mar 2011 13:51:03 +0000 (-0800)
Subject: update coq-hetmet submodule pointer
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=59cb384f6875d594def49dc706cc418319e31bd4

update coq-hetmet submodule pointer
---

diff --git a/compiler/hetmet b/compiler/hetmet
index 8c26722..6232ffa 160000
--- a/compiler/hetmet
+++ b/compiler/hetmet
@@ -1 +1 @@
-Subproject commit 8c26722a1ee110077968a8a166eb7130266b2035
+Subproject commit 6232ffa2805211654c6ff40a9852d7fc312382d2