From 089bcc7c43a5314d97d903ba1e4f50663bcba9a1 Mon Sep 17 00:00:00 2001 From: Luke Wren Date: Sat, 29 May 2021 23:24:18 +0100 Subject: [PATCH] Typo --- test/formal/common/ahbl_master_assertions.v | 2 ++ 1 file changed, 2 insertions(+) diff --git a/test/formal/common/ahbl_master_assertions.v b/test/formal/common/ahbl_master_assertions.v index 0d39622..e9dd009 100644 --- a/test/formal/common/ahbl_master_assertions.v +++ b/test/formal/common/ahbl_master_assertions.v @@ -96,3 +96,5 @@ always @ (posedge clk) if (rst_n) begin: dst_ahbl_req_properties assert($stable(src_hwdata)); end end + +endmodule