# HG changeset patch
# User wenzelm
# Date 1369938453 -7200
# Node ID 2c141c169624c685d9cb49f86272862af0cbacd0
# Parent  4dced3d4155ce53b42cd8e67a80d81d78b843a81
removed pointless comment -- NB: Isabelle output is message-oriented with implicit line-boundaries;

diff -r 4dced3d4155c -r 2c141c169624 src/HOL/Spec_Check/output_style.ML
--- 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 (