src/Doc/Nitpick/document/root.tex
changeset 55081 45c457a6b987
parent 54816 10d48c2a3e32
child 55290 3951ced4156c
     1.1 --- a/src/Doc/Nitpick/document/root.tex	Mon Jan 20 19:51:56 2014 +0100
     1.2 +++ b/src/Doc/Nitpick/document/root.tex	Mon Jan 20 19:53:10 2014 +0100
     1.3 @@ -2900,7 +2900,8 @@
     1.4  supported.
     1.5  
     1.6  \item[\labelitemi] Codatatypes defined using \textbf{codatatype} that
     1.7 -involve nested recursion through non-codatatypes are not supported.
     1.8 +involve nested recursion through non-codatatypes are not properly supported
     1.9 +and may result in spurious counterexamples.
    1.10  
    1.11  \item[\labelitemi] The \textit{nitpick\_xxx} attributes and the
    1.12  \textit{Nitpick\_xxx.register\_yyy} functions can cause havoc if used