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