From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sat, 12 Mar 2011 13:46:49 +0000 (-0800)
Subject: second attempt at updating submodules; I seem to have trouble with this...
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=e10a75279987aa31492f5ead289a6646d69b3a23

second attempt at updating submodules; I seem to have trouble with this...
---

diff --git a/.gitmodules b/.gitmodules
index ee9771b..0ac474d 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "compiler/hetmet"]
 	path = compiler/hetmet
-	url = http://git.megacz.com/coq-hetmet.git
+	url = http://git.megacz.com/ghc-hetmet.git
diff --git a/compiler/hetmet b/compiler/hetmet
new file mode 160000
index 0000000..8c26722
--- /dev/null
+++ b/compiler/hetmet
@@ -0,0 +1 @@
+Subproject commit 8c26722a1ee110077968a8a166eb7130266b2035