Use first output as the head one in v_commit

cardano-scaling · Jan 12, 2023 · 9d00143 · 9d00143
1 parent 3372c46
commit 9d00143
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/hydra-plutus/src/Hydra/Contract/Commit.hs b/hydra-plutus/src/Hydra/Contract/Commit.hs
@@ -98,9 +98,13 @@ validator (_party, _headScriptHash, _commit, headId) r ctx =
     ViaAbort ->
       traceIfFalse "ST not burned" (mustBurnST (txInfoMint $ scriptContextTxInfo ctx) headId)
     ViaCollectCom ->
-      traceIfFalse "ST is missing in the output" (hasST headId outputs)
+      traceIfFalse "ST is missing in the output" (hasST headId headOutputValue)
  where
-  outputs = foldMap txOutValue $ txInfoOutputs $ scriptContextTxInfo ctx
+  headOutputValue =
+    case txInfoOutputs (scriptContextTxInfo ctx) of
+      [] -> mempty
+      (headOutput : _) ->
+        txOutValue headOutput
 
 compiledValidator :: CompiledCode ValidatorType
 compiledValidator =