# HG changeset patch
# User bulwahn
# Date 1328460195 -3600
# Node ID 6d2af424d0f811b9303a224b82188a30bffefcd2
# Parent  b67bb064de1e9e6561536cb7ad7077020a688b17
adding some forbidden constant names for mutabelle

diff -r b67bb064de1e -r 6d2af424d0f8 src/HOL/Mutabelle/mutabelle_extra.ML
--- 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 =