src/HOL/Quickcheck_Narrowing.thy
changeset 55147 bce3dbc11f95
parent 52435 6646bb548c6b
child 55676 fb46f1c379b5
     1.1 --- a/src/HOL/Quickcheck_Narrowing.thy	Sat Jan 25 23:50:49 2014 +0100
     1.2 +++ b/src/HOL/Quickcheck_Narrowing.thy	Sat Jan 25 23:50:49 2014 +0100
     1.3 @@ -11,7 +11,7 @@
     1.4  
     1.5  subsubsection {* Code generation setup *}
     1.6  
     1.7 -setup {* Code_Target.extend_target ("Haskell_Quickcheck", (Code_Haskell.target, K I)) *}
     1.8 +setup {* Code_Target.extend_target ("Haskell_Quickcheck", (Code_Haskell.target, I)) *}
     1.9  
    1.10  code_printing
    1.11    type_constructor typerep \<rightharpoonup> (Haskell_Quickcheck) "Typerep"