src/Tools/quickcheck.ML
changeset 35625 9c818cab0dd0
parent 35380 6ac5b81a763d
child 36610 bafd82950e24
     1.1 --- a/src/Tools/quickcheck.ML	Sun Mar 07 11:57:16 2010 +0100
     1.2 +++ b/src/Tools/quickcheck.ML	Sun Mar 07 12:19:47 2010 +0100
     1.3 @@ -199,7 +199,7 @@
     1.4      val gi' = Logic.list_implies (if no_assms then [] else assms,
     1.5                                    subst_bounds (frees, strip gi))
     1.6        |> monomorphic_term thy insts default_T
     1.7 -      |> ObjectLogic.atomize_term thy;
     1.8 +      |> Object_Logic.atomize_term thy;
     1.9    in gen_test_term ctxt quiet report generator_name size iterations gi' end;
    1.10  
    1.11  fun pretty_counterex ctxt NONE = Pretty.str "Quickcheck found no counterexample."