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 /src | |
parent | 823aaba2458cf8d56606f902e8c4b79c3d63aafa (diff) | |
download | vericert-5ff4baa248397b89b5b66838cd57419191537d3f.tar.gz vericert-5ff4baa248397b89b5b66838cd57419191537d3f.zip |
Add 0 initialisation
Diffstat (limited to 'src')
-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) -> |