src/HOL/Tools/Nitpick/nitpick_tests.ML
changeset 37396 18a1e9c7acb0
parent 36385 ff5f88702590
child 38186 c28018f5a1d6
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Thu Jun 10 12:28:27 2010 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Fri Jun 11 16:34:56 2010 +0200
     1.3 @@ -298,7 +298,6 @@
     1.4      val peephole_optim = true
     1.5      val nat_card = 4
     1.6      val int_card = 9
     1.7 -    val bits = 8
     1.8      val j0 = 0
     1.9      val constrs = kodkod_constrs peephole_optim nat_card int_card j0
    1.10      val (free_rels, pool, table) =