Update path for cryptol-specs in .gitmodules

GaloisInc · Mar 11, 2019 · 600b5ec · 600b5ec
1 parent dc48fed
commit 600b5ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "examples/cryptol-specs"]
 	path = examples/cryptol-specs
-	url = git@github.com:GaloisInc/cryptol-specs.git
+	url = https://github.com/GaloisInc/cryptol-specs.git