tuning
authorblanchet
Sat, 11 Sep 2010 12:31:05 +0200
changeset 39326 0b68add21e3d
parent 39325 5208954d906c
child 39327 61547eda78b4
tuning
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)))
            | _ => ());