catching more mzn error messages

conjure-cp · Mar 23, 2024 · a7e04a1 · a7e04a1
1 parent c3bc347
commit a7e04a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Conjure/UI/SolveStats.hs b/src/Conjure/UI/SolveStats.hs
@@ -68,7 +68,7 @@ mkSolveStats Solve {..} (exitCodeSR, stdoutSR, stderrSR) rawInfo = do
             [ T.isInfixOf msg combinedSR
               | msg <-
                   [ "type error: undefined identifier",
-                    "MiniZinc error: Memory violation detected and error message", -- minizinc
+                    "MiniZinc error: Memory violation detected", -- minizinc
                     "Check failed: ParseFlatzincFile",
                     "parse error: unexpected end-of-file after parsing number of clauses", -- kissat
                     "error: Cannot open file",