# HG changeset patch
# User blanchet
# Date 1284201065 -7200
# Node ID 0b68add21e3d31cf91c7572dd5277baa140fec70
# Parent  5208954d906ce8cdf49dc0c1ce90efd7985d52b0
tuning

diff -r 5208954d906c -r 0b68add21e3d src/HOL/Tools/Nitpick/kodkod.ML
--- a/src/HOL/Tools/Nitpick/kodkod.ML	Sat Sep 11 12:30:50 2010 +0200
+++ b/src/HOL/Tools/Nitpick/kodkod.ML	Sat Sep 11 12:31:05 2010 +0200
@@ -1126,7 +1126,7 @@
       | NONE =>
         let val outcome = do_solve () in
           (case outcome of
-             Normal (ps, js, "") =>
+             Normal (_, _, "") =>
              Synchronized.change cached_outcome
                                  (K (SOME ((max_solutions, problems), outcome)))
            | _ => ());