src/HOL/Tools/Nitpick/kodkod.ML

   fst o Scan.finite Symbol.stopper
             (Scan.error (!! (fn _ =>
                                 raise SYNTAX ("Kodkod.extract_instance",
                                               "ill-formed Kodkodi output"))
                             (parse_instance new_kodkodi)))
-  o strip_blanks o explode
+  o strip_blanks o raw_explode
 
 val problem_marker = "*** PROBLEM "
 val outcome_marker = "---OUTCOME---\n"
 val instance_marker = "---INSTANCE---\n"