From 99456fc744e790dd98230d106810fa0d1d087b89 Mon Sep 17 00:00:00 2001
From: Lucas Kramer <krame505@umn.edu>
Date: Tue, 2 Jan 2024 20:10:49 -0600
Subject: [PATCH] Add a TODO comment

---
 Libraries/GenC/GenCMsg/GenCMsg.bs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Libraries/GenC/GenCMsg/GenCMsg.bs b/Libraries/GenC/GenCMsg/GenCMsg.bs
index 299d18d..cf014bd 100644
--- a/Libraries/GenC/GenCMsg/GenCMsg.bs
+++ b/Libraries/GenC/GenCMsg/GenCMsg.bs
@@ -308,6 +308,8 @@ instance (GenCRepr a gcrBytes, GenAllCDecls a, Bits a bBits) =>
     let credits :: Reg (UInt 8)
         credits = head rxCredits
 
+    -- TODO: A more efficient approach would be to make credits a CReg.
+    -- See discussion on https://github.com/B-Lang-org/bsc-contrib/pull/22
     restoreCredits :: FIFOF ()
     restoreCredits <- mkFIFOF