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

[ghc-hetmet.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 162e65d..0ac474d 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
-[submodule "compiler/coq"]
-       path = compiler/coq
-       url = http://git.megacz.com/coq-garrows.git
+[submodule "compiler/hetmet"]
+       path = compiler/hetmet
+       url = http://git.megacz.com/ghc-hetmet.git