src/HOL/Tools/Quickcheck/narrowing_generators.ML
changeset 42090 ef566ce50170
parent 42039 cef738d55348
child 42159 234ec7011e5d
--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Wed Mar 23 08:50:32 2011 +0100
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Wed Mar 23 08:50:39 2011 +0100
@@ -136,7 +136,7 @@
         val main = "module Main where {\n\n" ^
           "import Narrowing_Engine;\n" ^
           "import Code;\n\n" ^
-          "main = Narrowing_Engine.smallCheck " ^ string_of_int size ^ " (Code.value ())\n\n" ^
+          "main = Narrowing_Engine.depthCheck " ^ string_of_int size ^ " (Code.value ())\n\n" ^
           "}\n"
         val code' = prefix "module Code where {\n\ndata Typerep = Typerep String [Typerep];\n"
           (unprefix "module Code where {" code)