From 4a93962cc90fa6553c773b232084ab6c74dffaaf Mon Sep 17 00:00:00 2001
From: Orestis Melkonian <melkon.or@gmail.com>
Date: Tue, 11 Mar 2025 14:00:30 +0000
Subject: [PATCH] [ fix #399 ] Fix tests/ webpage (Issue119)

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

diff --git a/test/AllFailTests.agda b/test/AllFailTests.agda
index 24deabc8..4a5ff11c 100644
--- a/test/AllFailTests.agda
+++ b/test/AllFailTests.agda
@@ -8,6 +8,7 @@ import Fail.NewTypeRecordTwoFields
 import Fail.Issue150
 import Fail.NonCopatternInstance
 import Fail.Issue113a
+import Fail.Issue119
 import Fail.NonStarRecordIndex
 import Fail.ErasedRecordParameter
 import Fail.Issue146