Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/nitpick.ML
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) @
isabelle