src/HOL/Tools/Nitpick/nitpick_tests.ML
changeset 35185 9b8f351cced6
parent 34982 7b8c366e34a2
child 35280 54ab4921f826
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Wed Feb 17 11:20:09 2010 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Wed Feb 17 12:14:08 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 false constrs u
     1.8 +    val formula = kodkod_formula_from_nut bits 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)