From 436daa0e4b0d7929a02715fe8acc9a0fa9dcaf9e Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 31 Mar 2020 10:45:00 +0100
Subject: Fix Verilog printing

---
 src/verilog/PrintVerilog.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/verilog/PrintVerilog.mli')

diff --git a/src/verilog/PrintVerilog.mli b/src/verilog/PrintVerilog.mli
index b6478fd..4197d4a 100644
--- a/src/verilog/PrintVerilog.mli
+++ b/src/verilog/PrintVerilog.mli
@@ -16,4 +16,4 @@
  * along with this program.  If not, see <https://www.gnu.org/licenses/>.
  *)
 
-val prettyprint : VerilogAST.verilog -> string
+val print_program : out_channel -> Verilog.verilog -> unit
-- 
cgit