From 59cb384f6875d594def49dc706cc418319e31bd4 Mon Sep 17 00:00:00 2001
From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sat, 12 Mar 2011 05:51:03 -0800
Subject: [PATCH] update coq-hetmet submodule pointer

---
 compiler/hetmet |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
1.7.10.4