From abf33a4075c2008bfcac3b04ad3b4dc1c57a4efd Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 17 Feb 2020 18:06:37 +0000
Subject: Add pretty printing for Verilog integrated with CompCert

---
 src/Verilog/PrettyPrint.mli | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 src/Verilog/PrettyPrint.mli

(limited to 'src/Verilog/PrettyPrint.mli')

diff --git a/src/Verilog/PrettyPrint.mli b/src/Verilog/PrettyPrint.mli
new file mode 100644
index 0000000..843feec
--- /dev/null
+++ b/src/Verilog/PrettyPrint.mli
@@ -0,0 +1 @@
+val prettyprint : Extraction.VerilogAST.verilog -> string
-- 
cgit