# HG changeset patch
# User blanchet
# Date 1390243990 -3600
# Node ID 45c457a6b9873352fd4ea9a4ca5c14a6fee9b475
# Parent  b7c41accbff2d246078ee4a0a7e1d035baa157f4
updated docs

diff -r b7c41accbff2 -r 45c457a6b987 src/Doc/Nitpick/document/root.tex
--- a/src/Doc/Nitpick/document/root.tex	Mon Jan 20 19:51:56 2014 +0100
+++ b/src/Doc/Nitpick/document/root.tex	Mon Jan 20 19:53:10 2014 +0100
@@ -2900,7 +2900,8 @@
 supported.
 
 \item[\labelitemi] Codatatypes defined using \textbf{codatatype} that
-involve nested recursion through non-codatatypes are not supported.
+involve nested recursion through non-codatatypes are not properly supported
+and may result in spurious counterexamples.
 
 \item[\labelitemi] The \textit{nitpick\_xxx} attributes and the
 \textit{Nitpick\_xxx.register\_yyy} functions can cause havoc if used