diff -r 9cec4269b7f9 -r c9d3dda79fe3 Nominal/ExCoreHaskell.thy
--- a/Nominal/ExCoreHaskell.thy	Fri Mar 26 10:55:13 2010 +0100
+++ b/Nominal/ExCoreHaskell.thy	Fri Mar 26 16:20:39 2010 +0100
@@ -5,7 +5,7 @@
 (* core haskell *)
 
 ML {* val _ = recursive := false *}
-ML {* val _ = cheat_const_rsp := true *}
+
 atom_decl var
 atom_decl tvar