From 0737bf5fb8d82427bc463582ce9e84c4109a7829 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 4 Apr 2015 15:13:35 +0200
Subject: [PATCH] appnote 012 fix

---
 manual/APPNOTE_012_Verilog_to_BTOR.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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}
-- 
2.30.2