From f334d1b8e6757db15a7d63f8d4f228a969984431 Mon Sep 17 00:00:00 2001
From: Alessio Ferrarini <alessio.ferrarini@imdea.org>
Date: Mon, 16 Dec 2024 08:56:53 +0100
Subject: [PATCH] Point fixpoint to ucsd-progsys

---
 .gitmodules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitmodules b/.gitmodules
index 26af21db49..78865b5f95 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