third attempt at getting submodules to work properly

diff --git a/.gitmodules b/.gitmodules
index 0ac474d..ee9771b 100644 (file)
--- 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 (submodule)
--- a/compiler/hetmet
+++ b/compiler/hetmet
@@ -1 +1 @@
-Subproject commit e10a75279987aa31492f5ead289a6646d69b3a23
+Subproject commit 6232ffa2805211654c6ff40a9852d7fc312382d2