# 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