One line fix without Set.difference

IntersectMBO · Oct 27, 2020 · 932ea6c · 932ea6c
1 parent e089c22
commit 932ea6c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Utxo.hs b/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Utxo.hs
@@ -325,7 +325,7 @@ utxoInductive = do
   minFee <= txFee ?! FeeTooSmallUTxO minFee txFee
 
   eval (txins txb ⊆ dom utxo)
-    ?! BadInputsUTxO (txins txb `Set.difference` eval (dom utxo))
+    ?! BadInputsUTxO (Set.filter (\x -> not (Map.member x (unUTxO utxo))) (txins txb))
 
   ni <- liftSTS $ asks networkId
   let addrsWrongNetwork =