# HG changeset patch
# User blanchet
# Date 1266999511 -3600
# Node ID ef3eba82465f9768bc860b6d04dc72b73b8ff6e2
# Parent  f715cfde056a369a0e38074c13500a495fd60a48
cosmetics

diff -r f715cfde056a -r ef3eba82465f src/HOL/Tools/Nitpick/kodkod.ML
--- 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"