Updated sea-dsa link

smackers · Mar 29, 2022 · 4e8ec19 · 4e8ec19
1 parent 1faf5f5
commit 4e8ec19
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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