diff --git a/software/minizinc b/software/minizinc
index c619ad6..43597a1 160000
--- a/software/minizinc
+++ b/software/minizinc
@@ -1 +1 @@
-Subproject commit c619ad6a060ac4b6d3968429451fd83e3b9c1a54
+Subproject commit 43597a1dfadae8af974f14c773fa4bf62588a3c7