src/HOL/Quickcheck_Narrowing.thy

--- a/src/HOL/Quickcheck_Narrowing.thy	Sat Jan 25 23:50:49 2014 +0100
+++ b/src/HOL/Quickcheck_Narrowing.thy	Sat Jan 25 23:50:49 2014 +0100
@@ -11,7 +11,7 @@
 
 subsubsection {* Code generation setup *}
 
-setup {* Code_Target.extend_target ("Haskell_Quickcheck", (Code_Haskell.target, K I)) *}
+setup {* Code_Target.extend_target ("Haskell_Quickcheck", (Code_Haskell.target, I)) *}
 
 code_printing
   type_constructor typerep \<rightharpoonup> (Haskell_Quickcheck) "Typerep"