--- a/doc-src/Nitpick/nitpick.tex Thu May 27 15:28:23 2010 +0200
+++ b/doc-src/Nitpick/nitpick.tex Thu May 27 16:42:03 2010 +0200
@@ -2226,9 +2226,8 @@
sometimes helpful when investigating why a counterexample is
genuine, but they can clutter the output.
-\opfalse{show\_all}{dont\_show\_all}
-Enabling this option effectively enables \textit{show\_datatypes} and
-\textit{show\_consts}.
+\opnodefault{show\_all}{bool}
+Abbreviation for \textit{show\_datatypes} and \textit{show\_consts}.
\opdefault{max\_potential}{int}{$\mathbf{1}$}
Specifies the maximum number of potential counterexamples to display. Setting