diff --git a/.gitmodules b/.gitmodules
index 26af21db4..78865b5f9 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "liquid-fixpoint"]
 	path = liquid-fixpoint
-	url = https://github.com/alecsferra/liquid-fixpoint.git
\ No newline at end of file
+	url = https://github.com/ucsd-progsys/liquid-fixpoint.git