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)))
            | _ => ());