changeset 36610 | bafd82950e24 |
parent 35625 | 9c818cab0dd0 |
child 36960 | 01594f816e3a |
--- a/src/Tools/quickcheck.ML Mon May 03 07:59:51 2010 +0200 +++ b/src/Tools/quickcheck.ML Mon May 03 14:25:56 2010 +0200 @@ -295,7 +295,7 @@ fun quickcheck_params_cmd args thy = let - val ctxt = ProofContext.init thy; + val ctxt = ProofContext.init_global thy; val f = fold (parse_test_param ctxt) args; in thy