updated docs
authorblanchet
Mon Jan 20 19:53:10 2014 +0100 (2014-01-20)
changeset 5508145c457a6b987
parent 55080 b7c41accbff2
child 55082 e60036c1c248
updated docs
src/Doc/Nitpick/document/root.tex
     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