From 3633613c47f8f8bd9ace7cdd20e8c87483d5f768 Mon Sep 17 00:00:00 2001
From: Angelo Jacobo <jacobo.angeloECE@gmail.com>
Date: Thu, 2 Mar 2023 20:12:28 +0800
Subject: [PATCH] Update ddr3_controller.v

---
 rtl/ddr3_controller.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rtl/ddr3_controller.v b/rtl/ddr3_controller.v
index d6204e8..2fa5143 100644
--- a/rtl/ddr3_controller.v
+++ b/rtl/ddr3_controller.v
@@ -103,7 +103,7 @@ module ddr3_controller #(
 
 `ifdef	FORMAL
 
-	end
+
 `endif
 endmodule