diff --git a/.gitmodules b/.gitmodules
index b461824..7b6429b 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -4,5 +4,5 @@
 	branch = feature/imp_globals
 [submodule "software/minizinc"]
 	path = software/minizinc
-	url = git@github.com:Dekker1/libminizinc.git
+	url = git@github.com:MiniZinc/libminizinc.git
 	branch = develop
diff --git a/software/minizinc b/software/minizinc
index 3f1e50f..5a57782 160000
--- a/software/minizinc
+++ b/software/minizinc
@@ -1 +1 @@
-Subproject commit 3f1e50f9144a0c4cf2b090d17aba1b92a4657b18
+Subproject commit 5a577826da4d7cf6195f28b5604d8d20a01fbc6e