--- a/src/HOL/Mutabelle/mutabelle_extra.ML Sun Feb 05 17:43:14 2012 +0100
+++ b/src/HOL/Mutabelle/mutabelle_extra.ML Sun Feb 05 17:43:15 2012 +0100
@@ -281,7 +281,8 @@
@{const_name enum_prod_inst.enum_all_prod},
@{const_name enum_prod_inst.enum_ex_prod},
@{const_name Quickcheck.catch_match},
- @{const_name Quickcheck_Exhaustive.unknown}
+ @{const_name Quickcheck_Exhaustive.unknown},
+ @{const_name Int.Bit0}, @{const_name Int.Bit1}
(*@{const_name "==>"}, @{const_name "=="}*)]
val forbidden_mutant_consts =