src/HOL/Tools/Nitpick/kodkod.ML
changeset 40627 becf5d5187cc
parent 40411 36b7ed41ca9f
child 40743 b07a0dbc8a38
     1.1 --- a/src/HOL/Tools/Nitpick/kodkod.ML	Fri Nov 19 23:48:07 2010 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/kodkod.ML	Sat Nov 20 00:53:26 2010 +0100
     1.3 @@ -908,7 +908,7 @@
     1.4                                  raise SYNTAX ("Kodkod.extract_instance",
     1.5                                                "ill-formed Kodkodi output"))
     1.6                              (parse_instance new_kodkodi)))
     1.7 -  o strip_blanks o explode
     1.8 +  o strip_blanks o raw_explode
     1.9  
    1.10  val problem_marker = "*** PROBLEM "
    1.11  val outcome_marker = "---OUTCOME---\n"