From 7a4cb8276de410b083545cfac8357ec410b46c4f Mon Sep 17 00:00:00 2001
From: Jack Hodgkinson <30505104+jhodgdev@users.noreply.github.com>
Date: Fri, 28 Jan 2022 14:01:50 +0000
Subject: [PATCH] adding dummy function for pindex

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

diff --git a/src/Agora/AuthorityToken.hs b/src/Agora/AuthorityToken.hs
index 477c8e8..8f70eae 100644
--- a/src/Agora/AuthorityToken.hs
+++ b/src/Agora/AuthorityToken.hs
@@ -27,7 +27,6 @@ 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 (pindexDataList)
 import Plutarch.Integer (PInteger)
 import Plutarch.Lift (pconstant)
 import Plutarch.List (PIsListLike, pfoldr', precList)
@@ -49,6 +48,8 @@ data AuthorityToken = AuthorityToken
 
 --------------------------------------------------------------------------------
 
+pindexDataList = undefined
+
 -- TODO: upstream something like this
 pfind' :: PIsListLike list a => (Term s a -> Term s PBool) -> Term s (list a :--> PMaybe a)
 pfind' p =