From 315f610b111d8d5433866fa032beac0ea29df676 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 1 Apr 2021 01:24:19 +0100 Subject: Add new enable interface --- src/hls/PrintVerilog.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/hls/PrintVerilog.ml') diff --git a/src/hls/PrintVerilog.ml b/src/hls/PrintVerilog.ml index 61f5b5e..f618d54 100644 --- a/src/hls/PrintVerilog.ml +++ b/src/hls/PrintVerilog.ml @@ -164,13 +164,13 @@ let decl i = function let pprint_module_item i = function | Vdeclaration d -> decl i d | Valways (e, s) -> - concat [indent i; "always "; pprint_edge_top i e; "begin\n"; + concat [indent i; "always "; pprint_edge_top i e; " begin\n"; pprint_stmnt (i+1) s; indent i; "end\n"] | Valways_ff (e, s) -> - concat [indent i; "always "; pprint_edge_top i e; "begin\n"; + concat [indent i; "always "; pprint_edge_top i e; " begin\n"; pprint_stmnt (i+1) s; indent i; "end\n"] | Valways_comb (e, s) -> - concat [indent i; "always "; pprint_edge_top i e; "begin\n"; + concat [indent i; "always "; pprint_edge_top i e; " begin\n"; pprint_stmnt (i+1) s; indent i; "end\n"] let rec intersperse c = function -- cgit