From 9b99352c41cd371d8be95d63b3e5ea3f539ff63a Mon Sep 17 00:00:00 2001
From: HelgeS <HelgeS@users.noreply.github.com>
Date: Fri, 3 May 2019 20:44:27 +0200
Subject: [PATCH] Fixed link to MiniZinc

The old one didn't work anymore.
---
 interfaces.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/interfaces.html b/interfaces.html
index 0ba01b0ac..d3082bedc 100755
--- a/interfaces.html
+++ b/interfaces.html
@@ -11,7 +11,7 @@
   <ul>
   <li><a href="/flatzinc.html">FlatZinc/Gecode</a><br />
 	<i>provides a parser for the
-	  <a href="http://www.g12.cs.mu.oz.au/minizinc/">FlatZinc modelling 
+	  <a href="https://www.minizinc.org/">FlatZinc modelling 
 	    language</a>.</i>
   </li>
   </ul>
@@ -84,4 +84,4 @@
 
   <p>If you are developing an interface for Gecode and would like it to be listed
   here, please send us an email.</p>
-  
\ No newline at end of file
+