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

diff --git a/.gitmodules b/.gitmodules
index ee9771b..0ac474d 100644 (file)
--- 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 (submodule)
index 0000000..8c26722
--- /dev/null
+++ b/compiler/hetmet
@@ -0,0 +1 @@
+Subproject commit 8c26722a1ee110077968a8a166eb7130266b2035