diff -r 4b949985cf57 -r f731e9aff866 Nominal/ExCoreHaskell.thy
--- a/Nominal/ExCoreHaskell.thy	Thu Mar 25 17:30:46 2010 +0100
+++ b/Nominal/ExCoreHaskell.thy	Thu Mar 25 20:12:57 2010 +0100
@@ -5,7 +5,6 @@
 (* core haskell *)
 
 ML {* val _ = recursive := false *}
-ML {* val _ = cheat_bn_rsp := true *}
 ML {* val _ = cheat_const_rsp := true *}
 ML {* val _ = cheat_alpha_bn_rsp := true *}
 atom_decl var