From 16db02db0f992ab747915f4af879140a7e01c55a Mon Sep 17 00:00:00 2001
From: effectfully <effectfully@gmail.com>
Date: Tue, 29 Oct 2024 23:15:58 +0100
Subject: [PATCH] Add 'DropList' to 'builtinsIntroducedIn'

---
 plutus-ledger-api/src/PlutusLedgerApi/Common/Versions.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/plutus-ledger-api/src/PlutusLedgerApi/Common/Versions.hs b/plutus-ledger-api/src/PlutusLedgerApi/Common/Versions.hs
index 45c38ef1e3e..72669c85af8 100644
--- a/plutus-ledger-api/src/PlutusLedgerApi/Common/Versions.hs
+++ b/plutus-ledger-api/src/PlutusLedgerApi/Common/Versions.hs
@@ -128,7 +128,8 @@ builtinsIntroducedIn = Map.fromList [
           ]),
   ((PlutusV3, futurePV), Set.fromList [
           ExpModInteger,
-          CaseList, CaseData
+          CaseList, CaseData,
+          DropList
           ])
   ]