Update ouroboros-network/tests/lib/Test/Ouroboros/Network/TxSubmission/AppV2.hs

Co-authored-by: coot <coot@coot.me>

Author: crocodile-dentist

ouroboros-network/tests/lib/Test/Ouroboros/Network/TxSubmission/AppV2.hs

@@ -464,16 +464,14 @@ prop_txSubmission_inflight st@(TxSubmissionState state policy) =
     -- we work with txid's because a repeated tx may have different advertised/actual
     -- byte size by different peers in this test, but otherwise multiplicity
     -- should be determined by txid.
+    fn :: Tx TxId -> Map TxId Int -> Map TxId Int
     fn tx r' -- | getTxAdvSize tx /= getTxSize tx
              -- = empty
              -- ^ that is too severe
-            | Map.member (getTxId tx) r'
-            , getTxValid tx
-            = Map.update (Just . succ @Int) (getTxId tx) r'
-            | getTxValid tx
-            = Map.insert (getTxId tx) 1 r'
-            | otherwise
-            = r'
+             | getTxValid tx
+             = Map.alter (Just . maybe 1 succ) (getTxId tx) r'
+             | otherwise
+             = r'            
 
 
 prop_sharedTxStateInvariant :: TxSubmissionState -> Property