Merge pull request #383 from GaloisInc/llvm-pretty-migration

Update llvm-pretty submodule target
GaloisInc · May 24, 2024 · d04f097 · d04f097
2 parents 77a6c62 + 3b0933d
commit d04f097
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitmodules b/.gitmodules
@@ -12,7 +12,7 @@
 	url = https://github.com/GaloisInc/crucible.git
 [submodule "deps/llvm-pretty"]
 	path = deps/llvm-pretty
-	url = https://github.com/elliottt/llvm-pretty.git
+	url = https://github.com/GaloisInc/llvm-pretty.git
 [submodule "submodules/semmc"]
 	path = deps/semmc
 	url = [email protected]:GaloisInc/semmc.git