From 574d18ef674eac804c71e1d481fd03d18f556ebd Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Sun, 24 Mar 2024 16:27:20 +0100
Subject: [PATCH] Fix standard-library.agda-lib

---
 standard-library.agda-lib | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/standard-library.agda-lib b/standard-library.agda-lib
index cedacd1041..ba7ae571b9 100644
--- a/standard-library.agda-lib
+++ b/standard-library.agda-lib
@@ -1,5 +1,4 @@
-name: standard-library-tbt
+name: standard-library-2.1
 include: src
 flags:
   --warning=noUnsupportedIndexedMatch
---   --type-based-termination