Update git submodule url

peterschrammel · peterschrammel · commit 3ca6b93938e1 · 2017-09-13T15:53:55.000+01:00
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "lib/cbmc"]
 	path = lib/cbmc
-	url = git@github.com:diffblue/cbmc.git
+	url = https://github.com/diffblue/cbmc.git
