diff -r 3b9c05d158f3 -r a2142526bb01 Nominal/ExCoreHaskell.thy
--- a/Nominal/ExCoreHaskell.thy	Fri Mar 26 09:23:23 2010 +0100
+++ b/Nominal/ExCoreHaskell.thy	Fri Mar 26 10:07:26 2010 +0100
@@ -6,7 +6,6 @@
 
 ML {* val _ = recursive := false *}
 ML {* val _ = cheat_const_rsp := true *}
-ML {* val _ = cheat_alpha_bn_rsp := true *}
 atom_decl var
 atom_decl tvar