src/HOL/Tools/quickcheck_generators.ML

--- a/src/HOL/Tools/quickcheck_generators.ML	Mon Nov 22 10:41:55 2010 +0100
+++ b/src/HOL/Tools/quickcheck_generators.ML	Mon Nov 22 10:41:56 2010 +0100
@@ -413,6 +413,6 @@
   Datatype.interpretation ensure_random_datatype
   #> Code_Target.extend_target (target, (Code_Runtime.target, K I))
   #> Context.theory_map
-    (Quickcheck.add_generator ("code", compile_generator_expr));
+    (Quickcheck.add_generator ("random", compile_generator_expr));
 
 end;