Fix precondition on decrement

Used isProperSubsetOf instead of isSubsetOf due to its more laxed
cardano-scaling · May 24, 2024 · 27ff627 · 27ff627
1 parent 45cc7e4
commit 27ff627
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hydra-node/test/Hydra/Chain/Direct/TxTraceSpec.hs b/hydra-node/test/Hydra/Chain/Direct/TxTraceSpec.hs
@@ -293,7 +293,7 @@ instance StateModel Model where
     Decrement{snapshot} ->
       headState == Open
         && snapshotNumber snapshot > latestSnapshot
-        && decommitUTxO snapshot `Set.isSubsetOf` utxoInHead
+        && decommitUTxO snapshot `Set.isProperSubsetOf` utxoInHead
     Close{snapshot} ->
       headState == Open
         && if snapshotNumber snapshot == 0