--- a/src/HOL/Tools/Nitpick/kodkod.ML Tue Feb 23 19:10:25 2010 +0100
+++ b/src/HOL/Tools/Nitpick/kodkod.ML Wed Feb 24 09:18:31 2010 +0100
@@ -938,13 +938,13 @@
$$ "{" |-- scan_list scan_assignment --| $$ "}"
(* string -> raw_bound list *)
-fun parse_instance inst =
- Scan.finite Symbol.stopper
- (Scan.error (!! (fn _ => raise SYNTAX ("Kodkod.parse_instance",
- "ill-formed Kodkodi output"))
- scan_instance))
- (strip_blanks (explode inst))
- |> fst
+val parse_instance =
+ fst o Scan.finite Symbol.stopper
+ (Scan.error (!! (fn _ =>
+ raise SYNTAX ("Kodkod.parse_instance",
+ "ill-formed Kodkodi output"))
+ scan_instance))
+ o strip_blanks o explode
val problem_marker = "*** PROBLEM "
val outcome_marker = "---OUTCOME---\n"