fixing submodules

2019-09-11 18:04:06 -07:00 · 2019-09-11 18:04:06 -07:00 · 3ff13c52d9
--- a/.gitmodules
+++ b/.gitmodules
@ -1,3 +1,3 @@
 [submodule "submodules/z3"]
 	path = submodules/z3
-	url = https://github.com/Z3Prover/z3
+	url = https://github.com/kenmcmil/z3.git