From 39638453bf0405b2ae58277ff3c4879b8d6d784d Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 2 Nov 2020 19:38:43 +0000
Subject: Fix pretty printing bug in Verilog

---
 src/verilog/PrintVerilog.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/verilog/PrintVerilog.ml b/src/verilog/PrintVerilog.ml
index 353bfac..44710b8 100644
--- a/src/verilog/PrintVerilog.ml
+++ b/src/verilog/PrintVerilog.ml
@@ -65,7 +65,7 @@ let pprint_binop l r =
   | Vshru -> unsigned ">>"
 
 let unop = function
-  | Vneg -> " ~ "
+  | Vneg -> " - "
   | Vnot -> " ! "
 
 let register a = sprintf "reg_%d" (P.to_int a)
@@ -177,7 +177,7 @@ let testbench = "module testbench;
 
    always @(posedge clk) begin
       if (finish == 1) begin
-         $display(\"finished: %d\", return_val);
+         $display(\"finished: %0d\", return_val);
          $finish;
       end
    end
-- 
cgit