replaced boogie url

flintlang · Nov 20, 2019 · b2362d7 · b2362d7
1 parent 3f23689
commit b2362d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitmodules b/.gitmodules
@@ -1,6 +1,6 @@
 [submodule "boogie"]
 	path = boogie
-	url = https://github.com/boogie-org/boogie/
+	url = https://github.com/boogie-org/boogie
         ignore = untracked
 [submodule "symbooglix"]
 	path = symbooglix