From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sun, 13 Mar 2011 00:00:21 +0000 (-0800)
Subject: third attempt at getting submodules to work properly
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=2da58747e5ae4d914beb4520a9941cc1c8af401d

third attempt at getting submodules to work properly
---

diff --git a/.gitmodules b/.gitmodules
index 0ac474d..ee9771b 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "compiler/hetmet"]
 	path = compiler/hetmet
-	url = http://git.megacz.com/ghc-hetmet.git
+	url = http://git.megacz.com/coq-hetmet.git
diff --git a/compiler/hetmet b/compiler/hetmet
index e10a752..6232ffa 160000
--- a/compiler/hetmet
+++ b/compiler/hetmet
@@ -1 +1 @@
-Subproject commit e10a75279987aa31492f5ead289a6646d69b3a23
+Subproject commit 6232ffa2805211654c6ff40a9852d7fc312382d2