tuned message;
authorwenzelm
Sun, 25 Jan 2015 13:04:36 +0100
changeset 59435 7789b349f478
parent 59434 94194354e004
child 59436 570bea2407ea
tuned message;
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) ::