# HG changeset patch
# User wenzelm
# Date 1422187476 -3600
# Node ID 7789b349f4786b377c1b66d29b84aabd8f482957
# Parent  94194354e00414c06ee4d09b6c98950f584d13c0
tuned message;

diff -r 94194354e004 -r 7789b349f478 src/Tools/quickcheck.ML
--- a/src/Tools/quickcheck.ML	Sun Jan 25 12:58:36 2015 +0100
+++ b/src/Tools/quickcheck.ML	Sun Jan 25 13:04:36 2015 +0100
@@ -388,13 +388,13 @@
 
 (* pretty printing *)
 
-fun tool_name auto = (if auto then "Auto " else "") ^ "Quickcheck";
+fun tool_name auto = if auto then "Auto Quickcheck" else "Quickcheck";
 
 fun pretty_counterex ctxt auto NONE =
-      Pretty.str (tool_name auto ^ " found no counterexample." ^ Config.get ctxt tag)
+      Pretty.para (tool_name auto ^ " found no counterexample." ^ Config.get ctxt tag)
   | pretty_counterex ctxt auto (SOME ((genuine, cex), eval_terms)) =
       (Pretty.text_fold o Pretty.fbreaks)
-       (Pretty.str (tool_name auto ^ " found a " ^
+       (Pretty.para (tool_name auto ^ " found a " ^
          (if genuine then "counterexample:"
           else "potentially spurious counterexample due to underspecified functions:") ^
         Config.get ctxt tag) ::