Redirect output to stdout during instance check, which avoids an empty flatzinc file being created (fixing bug #68)
Redirect output to stdout during instance check, which avoids an empty flatzinc file being created (fixing bug #68)

MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE