appnote 012 fix

diff --git a/manual/APPNOTE_012_Verilog_to_BTOR.tex b/manual/APPNOTE_012_Verilog_to_BTOR.tex
index 5d000fb4c82e1b147807f811d4ebd2c4698d7903..5a7c5b19c0a035cac3fdc34c099a889f100a2930 100644 (file)
--- a/manual/APPNOTE_012_Verilog_to_BTOR.tex
+++ b/manual/APPNOTE_012_Verilog_to_BTOR.tex
@@ -189,8 +189,8 @@ unsat
 \caption{Running boolector on BTOR file}
 \end{figure}
 
-We can also use nuXmv~\cite{nuxmv}, but on BTOR designs it does
-support memories. With the next release of nuXmv, we will be also
+We can also use nuXmv~\cite{nuxmv}, but on BTOR designs it does not
+support memories yet. With the next release of nuXmv, we will be also
 able to verify designs with memories.
 
 \section{Detailed Flow}