From 9c54cf5beafa64eda4fc8ccbedc70e33860ff34b Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@google.com>
Date: Sat, 7 Sep 2019 16:19:02 +0200
Subject: [PATCH] final minizinc release

---
 tools/docker/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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) .