X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=.gitmodules;h=ee9771bcdb2ad8da9c7f00520765cef03775fcbc;hb=fa328fb3cbf09e767a35ecc2dd9811d6673882da;hp=162e65d725817e872bd856c145db3fef17e9e6e9;hpb=aee44bbe090c356d649398a93e260d967a7c50db;p=ghc-hetmet.git

diff --git a/.gitmodules b/.gitmodules
index 162e65d..ee9771b 100644
--- 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/coq-hetmet.git