diff --git a/src/Conjure/UI/SolveStats.hs b/src/Conjure/UI/SolveStats.hs
index 7911d070f..791135ef2 100644
--- a/src/Conjure/UI/SolveStats.hs
+++ b/src/Conjure/UI/SolveStats.hs
@@ -65,6 +65,7 @@ mkSolveStats Solve {..} (exitCodeSR, stdoutSR, stderrSR) rawInfo = do
   let info = M.fromList [(k, v) | [k, v] <- map (splitOn ":") (lines rawInfo)]
       status
         | T.isInfixOf "type error: undefined identifier" combinedSR = Error
+        | T.isInfixOf "MiniZinc error" combinedSR = Error
         | T.isInfixOf "java.lang.OutOfMemoryError" combinedSR = MemOut
         | T.isInfixOf "Out of Memory" combinedSR = MemOut
         | T.isInfixOf "Savile Row timed out." combinedSR = TimeOut