changeset 40223 | 9f001f7e6c0c |
parent 40132 | 7ee65dbffa31 |
child 40341 | 03156257040f |
--- a/src/HOL/Tools/Nitpick/nitpick.ML Wed Oct 27 19:14:33 2010 +0200 +++ b/src/HOL/Tools/Nitpick/nitpick.ML Thu Oct 28 09:29:57 2010 +0200 @@ -629,7 +629,7 @@ in (pprint (Pretty.chunks [Pretty.blk (0, - (pstrs ("Nitpick found a" ^ + (pstrs ((if auto then "Auto " else "") ^ "Nitpick found a" ^ (if not genuine then " potential " else if genuine_means_genuine then " " else " quasi genuine ") ^ das_wort_model) @