X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=.gitmodules;fp=.gitmodules;h=ee9771bcdb2ad8da9c7f00520765cef03775fcbc;hp=0ac474df561c45935ee76e3a5c5978bc4b5be952;hb=2da58747e5ae4d914beb4520a9941cc1c8af401d;hpb=497cdc321da61d90f01cca6b57d974742bea7aa0

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