# HG changeset patch
# User blanchet
# Date 1273842158 -7200
# Node ID 1806aa69bd62c734b4b4093c953f5bbc4c838711
# Parent  0010f08e288e8c39b8edf1e849f1c72db04e0c2a
recognize new Kodkod error message syntax

diff -r 0010f08e288e -r 1806aa69bd62 src/HOL/Tools/Nitpick/kodkod.ML
--- a/src/HOL/Tools/Nitpick/kodkod.ML	Fri May 14 14:14:22 2010 +0200
+++ b/src/HOL/Tools/Nitpick/kodkod.ML	Fri May 14 15:02:38 2010 +0200
@@ -1034,6 +1034,7 @@
                  handle IO.Io _ => "" | OS.SysErr _ => "")
                 |> perhaps (try (unsuffix "\r"))
                 |> perhaps (try (unsuffix "."))
+                |> perhaps (try (unprefix "Solve error: "))
                 |> perhaps (try (unprefix "Error: "))
             in
               if null ps then