diff --git a/.gitmodules b/.gitmodules
index 32ba47b83..7f5dd3116 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "sea-dsa"]
   path = sea-dsa
-  url = https://github.com/seahorn/sea-dsa.git
+  url = https://github.com/shaobo-he/sea-dsa.git
diff --git a/sea-dsa b/sea-dsa
index 7940e2b27..8f507008a 160000
--- a/sea-dsa
+++ b/sea-dsa
@@ -1 +1 @@
-Subproject commit 7940e2b27594be75703fb26a0f3344cd7f233574
+Subproject commit 8f507008a9ad16ca2307f923da64cab2cf1518e5