From 3dd316bdc79bb50c2b968808b4917cb8a49a362e Mon Sep 17 00:00:00 2001
From: Ahmed Irfan <irfan@levert.(none)>
Date: Mon, 3 Nov 2014 16:18:53 +0100
Subject: [PATCH] corrections in appnote

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

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