getHeadInput: Use case split instead of fromMaybe

cardano-scaling · Nov 30, 2023 · 76946a2 · 76946a2
1 parent 9ede5b2
commit 76946a2
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/hydra-plutus/src/Hydra/Contract/Head.hs b/hydra-plutus/src/Hydra/Contract/Head.hs
@@ -492,10 +492,9 @@ makeContestationDeadline cperiod ScriptContext{scriptContextTxInfo} =
 {-# INLINEABLE makeContestationDeadline #-}
 
 getHeadInput :: ScriptContext -> TxInInfo
-getHeadInput ctx =
-  fromMaybe
-    (traceError $(errorCode ScriptNotSpendingAHeadInput))
-    (findOwnInput ctx)
+getHeadInput ctx = case findOwnInput ctx of
+  Nothing -> traceError $(errorCode ScriptNotSpendingAHeadInput)
+  Just x -> x
 {-# INLINEABLE getHeadInput #-}
 
 getHeadAddress :: ScriptContext -> Address