src/HOL/Quickcheck_Random.thy
changeset 59104 a14475f044b2
parent 58889 5b7a9633cfa8
child 60758 d8d85a8172b5
--- a/src/HOL/Quickcheck_Random.thy	Thu Dec 04 16:51:54 2014 +0100
+++ b/src/HOL/Quickcheck_Random.thy	Fri Dec 05 19:35:36 2014 +0100
@@ -9,7 +9,7 @@
 notation fcomp (infixl "\<circ>>" 60)
 notation scomp (infixl "\<circ>\<rightarrow>" 60)
 
-setup {* Code_Target.extend_target ("Quickcheck", (Code_Runtime.target, I)) *}
+setup {* Code_Target.add_derived_target ("Quickcheck", [(Code_Runtime.target, I)]) *}
 
 subsection {* Catching Match exceptions *}