| 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 *}