From 6bfbb284dd77cbac75372db31620634ee2af3d43 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.li>
Date: Wed, 7 Feb 2018 16:47:16 +1100
Subject: [PATCH] Update headers

---
 minizinc.iro | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/minizinc.iro b/minizinc.iro
index 4bd0c94..db1be43 100644
--- a/minizinc.iro
+++ b/minizinc.iro
@@ -6,8 +6,8 @@
 ##
 ################################################################
 
-name                   = MiniZinc
-file_extensions []     = mzn;
+name                   = mzn
+file_extensions []     = mzn, fzn, dzn;
 
 ################################################################
 ## Constants