diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-04-01 01:36:52 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-04-01 01:36:52 +0100 |
| commit | 5ff4baa248397b89b5b66838cd57419191537d3f (patch) | |
| tree | 7772137fab834017223f7a07ff49f52e841be7be | |
| parent | 823aaba2458cf8d56606f902e8c4b79c3d63aafa (diff) | |
| download | vericert-5ff4baa248397b89b5b66838cd57419191537d3f.tar.gz vericert-5ff4baa248397b89b5b66838cd57419191537d3f.zip | |
Add 0 initialisation
| -rw-r--r-- | src/hls/PrintVerilog.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/hls/PrintVerilog.ml b/src/hls/PrintVerilog.ml index f618d54..a55193d 100644 --- a/src/hls/PrintVerilog.ml +++ b/src/hls/PrintVerilog.ml @@ -142,7 +142,7 @@ let pprint_edge_top i = function let declare t = function (r, sz) -> concat [ t; " ["; sprintf "%d" (Nat.to_int sz - 1); ":0] "; - register r; ";\n" ] + register r; " = 0;\n" ] let declarearr t = function (r, sz, ln) -> |