Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/nitpick_tests.ML
changeset 37396 18a1e9c7acb0
parent 36385 ff5f88702590
child 38186 c28018f5a1d6 
--- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Thu Jun 10 12:28:27 2010 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Fri Jun 11 16:34:56 2010 +0200
@@ -298,7 +298,6 @@
     val peephole_optim = true
     val nat_card = 4
     val int_card = 9
-    val bits = 8
     val j0 = 0
     val constrs = kodkod_constrs peephole_optim nat_card int_card j0
     val (free_rels, pool, table) =
isabelle