From c2909bcebc1bb3d851f138850bcef4cd187b42dd Mon Sep 17 00:00:00 2001
From: Orestis Melkonian <melkon.or@gmail.com>
Date: Fri, 15 Mar 2024 13:27:08 +0000
Subject: [PATCH] [hotfix] add TypeLambda to failing tests

---
 test/AllFailTests.agda | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/AllFailTests.agda b/test/AllFailTests.agda
index f267e5ef..2ffd550b 100644
--- a/test/AllFailTests.agda
+++ b/test/AllFailTests.agda
@@ -34,3 +34,4 @@ import Fail.Issue154
 import Fail.PartialCaseNoLambda
 import Fail.NonStarDatatypeIndex
 import Fail.NonCanonicalSpecialFunction
+import Fail.TypeLambda