--- 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)