--- a/doc-src/Nitpick/nitpick.tex Tue Feb 23 16:53:13 2010 +0100
+++ b/doc-src/Nitpick/nitpick.tex Tue Feb 23 19:10:25 2010 +0100
@@ -2743,8 +2743,6 @@
\item[$\bullet$] Although this has never been observed, arbitrary theorem
morphisms could possibly confuse Nitpick, resulting in spurious counterexamples.
-\item[$\bullet$] Local definitions are not supported and result in an error.
-
%\item[$\bullet$] All constants and types whose names start with
%\textit{Nitpick}{.} are reserved for internal use.
\end{enum}