From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 4 Apr 2015 13:13:35 +0000 (+0200)
Subject: appnote 012 fix
X-Git-Tag: yosys-0.6~364
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0737bf5fb8d82427bc463582ce9e84c4109a7829;p=yosys.git

appnote 012 fix
---

diff --git a/manual/APPNOTE_012_Verilog_to_BTOR.tex b/manual/APPNOTE_012_Verilog_to_BTOR.tex
index 5d000fb4c..5a7c5b19c 100644
--- 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}