diff --git a/tools/docker/Makefile b/tools/docker/Makefile index a8d5eb62c5..72e7b98b0d 100644 --- a/tools/docker/Makefile +++ b/tools/docker/Makefile @@ -307,7 +307,7 @@ distclean_python: clean_python ########################## ## MINIZINC CHALLENGE ## ########################## -MZN_TAG=or-tools-minizinc-challenge:2019v2 +MZN_TAG=or-tools-minizinc-challenge:2019v3 minizinc-challenge-image: docker build -f minizinc-challenge.Dockerfile -t $(MZN_TAG) .