add missing import to AllFailTests.agda

agda · Aug 15, 2024 · 0467b26 · 0467b26
1 parent fb73f2d
commit 0467b26
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/AllFailTests.agda b/test/AllFailTests.agda
@@ -36,3 +36,4 @@ import Fail.NonStarDatatypeIndex
 import Fail.NonCanonicalSpecialFunction
 import Fail.TypeLambda
 import Fail.NonCanonicalSuperclass
+import Fail.Issue125