src/HOL/Tools/Quickcheck/narrowing_generators.ML
changeset 45760 3b5a735897c3
parent 45757 e32dd098f57a
child 45765 cb6ddee6a463
     1.1 --- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Mon Dec 05 12:36:03 2011 +0100
     1.2 +++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Mon Dec 05 12:36:05 2011 +0100
     1.3 @@ -269,7 +269,7 @@
     1.4                val _ = current_size := k
     1.5                val ((response, _), timing) = elapsed_time ("execution of size " ^ string_of_int k)
     1.6                  (fn () => Isabelle_System.bash_output
     1.7 -                  (executable ^ " " ^ haskell_string_of_bool (not genuine_only) ^ " " ^ string_of_int k))
     1.8 +                  (executable ^ " " ^ haskell_string_of_bool genuine_only ^ " " ^ string_of_int k))
     1.9                val _ = Quickcheck.add_timing timing current_result
    1.10              in
    1.11                if response = "NONE\n" then