From 48aa0921257e7ea7858c2652fae20fb030eb63fb Mon Sep 17 00:00:00 2001 From: Lucas Kramer Date: Tue, 2 Jan 2024 19:56:42 -0600 Subject: [PATCH] Fix whitespace --- Libraries/GenC/GenCMsg/GenCMsg.bs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Libraries/GenC/GenCMsg/GenCMsg.bs b/Libraries/GenC/GenCMsg/GenCMsg.bs index 776909a..299d18d 100644 --- a/Libraries/GenC/GenCMsg/GenCMsg.bs +++ b/Libraries/GenC/GenCMsg/GenCMsg.bs @@ -307,7 +307,7 @@ instance (GenCRepr a gcrBytes, GenAllCDecls a, Bits a bBits) => fifo <- mkSizedFIFOF (valueOf bFIFOSize) let credits :: Reg (UInt 8) credits = head rxCredits - + restoreCredits :: FIFOF () restoreCredits <- mkFIFOF @@ -322,7 +322,7 @@ instance (GenCRepr a gcrBytes, GenAllCDecls a, Bits a bBits) => ("handle_rx_" +++ stringOf name): when rxTagEq (valueOf i + 1) ==> do fifo.enq (unpackBytes rxBody).fst deq - + ("restore_credits_" +++ stringOf name): when True ==> do restoreCredits.deq credits := credits + 1