From ae03f77a2321aa68aeaff614d66a684b34bb5143 Mon Sep 17 00:00:00 2001
From: Jack Hodgkinson <30505104+jhodgdev@users.noreply.github.com>
Date: Tue, 1 Feb 2022 12:11:33 +0000
Subject: [PATCH] .

---
 src/Agora/AuthorityToken.hs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Agora/AuthorityToken.hs b/src/Agora/AuthorityToken.hs
index 8f70eae..b56f434 100644
--- a/src/Agora/AuthorityToken.hs
+++ b/src/Agora/AuthorityToken.hs
@@ -27,6 +27,7 @@ import Plutus.V1.Ledger.Value (AssetClass (..))
 import Plutarch.Api.V1 hiding (PMaybe (..))
 import Plutarch.Bool (PBool, PEq, pif, (#<), (#==))
 import Plutarch.Builtin (PBuiltinPair, PData, pdata, pfromData, pfstBuiltin, psndBuiltin)
+import Plutarch.DataRepr.Internal.HList (IndexList)
 import Plutarch.Integer (PInteger)
 import Plutarch.Lift (pconstant)
 import Plutarch.List (PIsListLike, pfoldr', precList)
@@ -48,6 +49,7 @@ data AuthorityToken = AuthorityToken
 
 --------------------------------------------------------------------------------
 
+pindexDataList :: Proxy n -> Term s (PDataList xs :--> PAsData (IndexList n xs))
 pindexDataList = undefined
 
 -- TODO: upstream something like this