From 714eefa9224786617aa7f81b6805b4a88e6744d8 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 25 Mar 2020 23:45:00 +0000
Subject: Update printing

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

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

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