removed pointless comment -- NB: Isabelle output is message-oriented with implicit line-boundaries;

--- a/src/HOL/Spec_Check/output_style.ML	Thu May 30 20:26:27 2013 +0200
+++ b/src/HOL/Spec_Check/output_style.ML	Thu May 30 20:27:33 2013 +0200
@@ -92,7 +92,7 @@
 fun new ctxt tag =
   let
     val gen_target = Config.get_generic ctxt Spec_Check.gen_target
-    val _ = writeln ("[testing " ^ tag ^ "... ") (* TODO: Output without line break *)
+    val _ = writeln ("[testing " ^ tag ^ "... ")
     fun finish ({count, ...}, badobjs) = case (count, badobjs) of
         (0, []) => writeln ("no valid cases generated]")
       | (n, []) => writeln (