From: Ahmed Irfan <irfan@levert.(none)>
Date: Mon, 3 Nov 2014 15:18:53 +0000 (+0100)
Subject: corrections in appnote
X-Git-Tag: yosys-0.6~367^2~5^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3dd316bdc79bb50c2b968808b4917cb8a49a362e;p=yosys.git

corrections in appnote
---

diff --git a/manual/APPNOTE_012_Verilog_to_BTOR.tex b/manual/APPNOTE_012_Verilog_to_BTOR.tex
index 7cd73943c..270ccacdd 100644
--- a/manual/APPNOTE_012_Verilog_to_BTOR.tex
+++ b/manual/APPNOTE_012_Verilog_to_BTOR.tex
@@ -150,7 +150,8 @@ endmodule
 
 \begin{figure}[H]
 \begin{lstlisting}[language=Verilog]
-module test(input clk, input rst, output y);
+module test(input clk, input rst, output y, 
+  output safety1);
 reg [2:0] state;
 output safety1;
 always @(posedge clk) begin