Update ouroboros-network/src/Ouroboros/Network/Protocol/LocalTxMonito…

…r/Type.hs Co-authored-by: Marcin Szamotulski <coot@coot.me>
IntersectMBO · Nov 21, 2022 · 9564227 · 9564227
1 parent fa6afd8
commit 9564227
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ouroboros-network/src/Ouroboros/Network/Protocol/LocalTxMonitor/Type.hs b/ouroboros-network/src/Ouroboros/Network/Protocol/LocalTxMonitor/Type.hs
@@ -220,11 +220,11 @@ instance Protocol (LocalTxMonitor txid tx slot) where
   data NobodyHasAgency st where
     TokDone  :: NobodyHasAgency StDone
 
-  exclusionLemma_ClientAndServerHaveAgency TokIdle tok     = case tok of {}
+  exclusionLemma_ClientAndServerHaveAgency TokIdle     tok = case tok of {}
 
   exclusionLemma_ClientAndServerHaveAgency TokAcquired tok = case tok of {}
 
-  exclusionLemma_NobodyAndClientHaveAgency TokDone tok = case tok of {}
+  exclusionLemma_NobodyAndClientHaveAgency TokDone     tok = case tok of {}
 
   exclusionLemma_NobodyAndServerHaveAgency TokDone tok = case tok of {}