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