Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
recognize new Kodkod error message syntax
authorblanchet
Fri, 14 May 2010 15:02:38 +0200
changeset 36914 1806aa69bd62
parent 36913 0010f08e288e
child 36915 7c429a484c74
recognize new Kodkod error message syntax
src/HOL/Tools/Nitpick/kodkod.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle