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