changeset 57195 | ec0e10f11276 |
parent 57182 | 79d43c510b84 |
child 58842 | 22b87ab47d3b |
--- a/src/Tools/quickcheck.ML Sun Jun 08 23:30:52 2014 +0200 +++ b/src/Tools/quickcheck.ML Sun Jun 08 23:30:52 2014 +0200 @@ -362,7 +362,7 @@ | strip t = t; val {goal = st, ...} = Proof.raw_goal state; val (gi, frees) = Logic.goal_params (prop_of st) i; - val some_locale = Named_Target.locale_of lthy; + val some_locale = Named_Target.bottom_locale_of lthy; val assms = if Config.get lthy no_assms then [] else