From eca95e0fb62626888a18aac57b5f054ca26079a1 Mon Sep 17 00:00:00 2001
From: David Anderson <dave@natulte.net>
Date: Sun, 8 Sep 2024 09:26:59 -0700
Subject: [PATCH] vram/VRAMCore: correct exports of the vram types

---
 vram/VRAMCore.bsv | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/vram/VRAMCore.bsv b/vram/VRAMCore.bsv
index ca80e6f..bad4d92 100644
--- a/vram/VRAMCore.bsv
+++ b/vram/VRAMCore.bsv
@@ -16,11 +16,11 @@ import ECP5_RAM::*;
 
 export VRAMAddr;
 export VRAMData;
-export VRAMRequest;
-export VRAMResponse;
-export VRAMClient;
-export VRAMServer;
-export VRAMCore;
+export VRAMRequest(..);
+export VRAMResponse(..);
+export VRAMClient(..);
+export VRAMServer(..);
+export VRAMCore(..);
 export mkVRAMCore;
 
 typedef Bit#(8) VRAMData;