1.1 --- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Mon Feb 22 10:28:49 2010 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Mon Feb 22 11:57:33 2010 +0100
     1.3 @@ -308,7 +308,7 @@
     1.4                         NameTable.empty
     1.5      val u = Op1 (Not, type_of u, rep_of u, u)
     1.6              |> rename_vars_in_nut pool table
     1.7 -    val formula = kodkod_formula_from_nut bits Typtab.empty constrs u
     1.8 +    val formula = kodkod_formula_from_nut Typtab.empty constrs u
     1.9      val bounds = map (bound_for_plain_rel ctxt debug) free_rels
    1.10      val univ_card = univ_card nat_card int_card j0 bounds formula
    1.11      val declarative_axioms = map (declarative_axiom_for_plain_rel constrs)