From da5aea9603180787af21376b333867980ae05f5f Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Tue, 23 Mar 2021 16:46:22 +1100 Subject: [PATCH] Update MiniZinc version to current develop --- .gitmodules | 2 +- software/minizinc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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