# HG changeset patch
# User haftmann
# Date 1244643774 -7200
# Node ID 8d353e3214d0bf7300225032f21ed2398dc3a7c5
# Parent  a98a47ffdd8da60ed919ea8715f3d50e4b97f3f4
tuned whitespace

diff -r a98a47ffdd8d -r 8d353e3214d0 src/HOL/Tools/quickcheck_generators.ML
--- a/src/HOL/Tools/quickcheck_generators.ML	Wed Jun 10 16:10:31 2009 +0200
+++ b/src/HOL/Tools/quickcheck_generators.ML	Wed Jun 10 16:22:54 2009 +0200
@@ -330,8 +330,6 @@
     |> Class.prove_instantiation_exit (K (Class.intro_classes_tac []))
   end;
 
-
-
 fun ensure_random_datatype raw_tycos thy =
   let
     val pp = Syntax.pp_global thy;