Skip to content

Commit

Permalink
Fix whitespace
Browse files Browse the repository at this point in the history
  • Loading branch information
krame505 authored and quark17 committed Jan 3, 2024
1 parent b151d96 commit 48aa092
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Libraries/GenC/GenCMsg/GenCMsg.bs
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand All @@ -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
Expand Down

0 comments on commit 48aa092

Please sign in to comment.